Dersom og er to disjunkte mengder, vil kardinaliteten til unionet mellom og , . Mer generelt, dersom er disjunkte mengder vil Med utgangspunkt i det forrige eksempelet, dersom middagen skal ha en hovedrett og enten en forrett eller en dessert, kan telleproblemet deles inn i to tilfeller. Mengden av alle middager med forrett vil være disjunkt fra mengden av alle middager med dessert. Fra multiplikasjonsprinsippet kan vi regne ut størrelsen på disse mengdene. Da følger et fra addisjonsprinsippet at antall middager vi kan lage er .