ให้ A เป็นเซตของคำตอบของอสมการ
โดยที่
ให้ B เป็นเซตของคำตอบของสมการ
โดยที่
นิยามฟังก์ชัน
ดังต่อไปนี้ ถ้า
เป็นคำตอบของสมการ
แล้ว เรานิยามให้
ส่ง
ไปยังคำตอบ
ของสมการ
เราเห็นได้อย่างชัดเจนว่า f เป็นฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง
ดังนั้น
Wikimedia Error
Error
Too many requests (f061ab2)