ให้ แทนคอมพลีเมนต์ของเซต
และ
แทนจำนวนสมาชิกของเซต
กำหนดให้
แทนเอกภพสัมพัทธ์ โดยที่
ถ้า
และ
เป็นสับเซตของ
โดยที่
และ
และ
แล้ว
เท่ากับเท่าใด
ให้ แทนคอมพลีเมนต์ของเซต
และ
แทนจำนวนสมาชิกของเซต
กำหนดให้
แทนเอกภพสัมพัทธ์ โดยที่
ถ้า
และ
เป็นสับเซตของ
โดยที่
และ
และ
แล้ว
เท่ากับเท่าใด