Η εξ. (1) μπορεί να γίνει εύκολα κατανοητή, επικαλούμενοι τον
κλασικό ορισμό της πιθανότητας και παρατηρώντας
ότι το σύνολο έχει πλήθος στοιχείων
το άθροισμα των στοιχείων των
και
, μείον τα στοιχεία
της τομής
, τα οποία στο παραπάνω άθροισμα
καταμετρήθηκαν δύο φορές.
Η γενίκευσή της (1) για οποιοδήποτε
πεπερασμένο αριθμό συνόλων (υποσυνόλων του )
είναι το λεγόμενο προσθετικό
θεώρημα:
Για το προσθετικό θεώρημα δίνει