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