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