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