Tanım:
Bir çoğunluğun toplamını oluşturan ve adedi bilinen iki küme var ise (iki kümenin hiç ortak bir elemanı olmamalı) , çoğunluğun toplamını bu iki kümenin sayılarının toplamı ile bulunması yöntemi. A ve B ayrık (ortak elemanı olmayan) iki küme ise A ∪ B (A ve B kümesinin birleşimi) kümesinin eleman sayısı s(A) + s(B) ile bulunabilir. Örneğin bir sınıfta erkek öğrencilerin sayısı 10, kız öğrencilerinin sayısı 12 ise, sınıfın öğrenci sayısını öğrenmek için tüm sınıfı saymak yerine 10 + 12 şeklinde toplama yaparak bulunabilir.
