ให้ แทนเซตของจำนวนจริง ถ้า และ เป็นฟังก์ชันหนึ่งต่อหนึ่ง
โดยที่ และ สำหรับทุกจำนวนจริง พิจารณาข้อความต่อไปนี้
(ก) สำหรับทุกจำนวนจริง
(ข) สำหรับทุกจำนวนจริง
ให้ แทนเซตของจำนวนจริง ถ้า และ เป็นฟังก์ชันหนึ่งต่อหนึ่ง
โดยที่ และ สำหรับทุกจำนวนจริง พิจารณาข้อความต่อไปนี้
(ก) สำหรับทุกจำนวนจริง
(ข) สำหรับทุกจำนวนจริง