اصول شمول استشنا
مجموعہ A میں ارکان کی تعداد کو  A  displaystyle A لکھتے ہوئے مجموعہ جات A اور B کے اتحاد A  B displaystyle Acup B میں ارکان کی تعداد ہو گی  A  B    A    B    A  B  displaystyle Acup BABAcap B جہاں A  B displaystyle Acap B سے مراد مجموعہ جات A اور B کا تقاطع ہے یعنی دونوں مجموعہ جات کے تمام ارکان کو شامل کرنا ہے مگر اگر کوئی رکن دو دفعہ آ رہا ہو تو اسے ایک بار شامل کرنا ہے اور دوسری بار استثنا کرنا ہے اسی طرح تین مجموعہ جات A B C کے لیے  A  B  C    A    B    C    A  B    A  C    B  C    A  B  C  displaystyle Acup Bcup CABCAcap BAcap CBcap CAcap Bcap C اگر کائناتی مجموعہ کو U کی علامت دیں اور مجموعہ A کے متمم کو A  displaystyle Aprime   تو یہ قاعدہ یوں بھی لکھا جا سکتا ہے   A   B     U    A    B    A  B  displaystyle Aprime cap Bprime UABAcap B