ในบทความจะเขียนเกี่ยวกับวิธีการพิสูจน์การเป็นสัจนิรันดร์ของประพจน์ ซึ่งจะเน้นให้น้องๆเข้าใจหลักการของการพิสูจน์ สิ่งที่น้องจะได้จากบทความนี้คือ น้องจะสามารถพิสูจน์การเป็นสัจนิรันดร์ของประพจน์ได้และหากน้องๆขยันทำโจทย์บ่อยๆจะทำให้น้องวิเคราะห์โจทย์เกี่ยวกับสัจนิรันดร์ได้ง่ายขึ้นแน่นอนค่ะ

ฟังก์ชันจากเซตหนึ่งไปอีกเซตหนึ่ง ฟังก์ชันจากเซตหนึ่งไปอีกเซตหนึ่ง เป็นการส่งสมาชิกจากของเซตหนึ่งเรียกเซตนั้นว่าโดเมน ส่งไปให้สมาชิกอีกเซตหนึ่งเซตนั้นเรียกว่าเรนจ์ จากบทความก่อนหน้าเราได้พูดถึงฟังก์ชันและการส่งสมาชิกในเซตไปแล้วบางส่วน ในบทความนี้เราจะได้ทำความเข้าใจเกี่ยวกับฟังก์ชันจากเซตหนึ่งไปอีกเซตหนึ่งมากขึ้น จากที่เรารู้ว่าเซตของคู่อันดับเซตหนึ่งจะเป็นฟังก์ชันได้นั้น สมาชิกตัวหน้าต้องไปเหมือนกัน แต่ฟังก์ชันจากเซตหนึ่งไปอีกเซตหนึ่งเป็นการกำหนดขอบเขตให้ฟังก์ชันนั้นแคปลงกว่าเดิม เช่น {(1, a), (2, b), (3, a), (4, c)}  จากเซตของคู่อันดับเราสมารถตอบได้เลยว่าเป็นฟังก์ชัน เพราะสมาชิกตัวหน้าไม่เหมือนกัน แต่ฟังก์ชันจากเซตหนึ่งไปอีกเซตหนึ่ง คือการที่เรามีเซต 2 เซต แล้วเราส่งสมาชิกในเซตหนึ่งไปอีกเซตหนึ่ง