ฟังก์ชัน (Function)

ฟังก์ชัน (Function)  คือ  ความสัมพันธ์  ซึ่งในสองคู่อันดับใด ๆ ของความสัมพันธ์นั้น  ถ้ามีสมาชิกตัวหน้าเท่ากันแล้ว  สมาชิกตัวหลังต้องไม่แตกต่างกัน
หรือฟังก์ชัน  คือ  ความสัมพันธ์  ซึ่งในสองคู่อันดับใด ๆ ของความสัมพันธ์นั้น  ถ้าสมาชิกตัวหน้าเท่ากัน  สมาชิกตัวหลังต้องเท่ากันด้วย

นั่นคือ   ความสัมพันธ์ f จะเป็นฟังก์ชัน ก็ต่อเมื่อ ถ้า (x, y1) ε f และ (x, y2) ε f แล้ว  y1 =y2

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

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

ความสัมพันธ์

เป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ เช่น คู่อันดับ a, bจะเขียนแทนด้วย (a, b) เรียก a ว่าเป็นสมาชิกตัวหน้า และเรียก b ว่าเป็นสมาชิกตัวหลัง

(การเท่ากับของคู่อันดับ) (a, b) = (c, d) ก็ต่อเมื่อ a = c และ b = d

ผลคูณคาร์ทีเชียน (Cartesian Product) ผลคูณคาร์ทีเซียนของเซต A และเซต Bคือ เซตของคู่อันดับ (a, b) ทั้งหมด โดยที่ a เป็นสมาชิกของเซต A และ b เป็นสมาชิกของเซต B

สัญลักษณ์      ผลคูณคาร์ทีเซียนของเซต A และเซต B เขียนแทนด้วย A x B
หรือ เขียนในรูปเซตแบบบอกเงื่อนไขจะได้ว่า 

ความสัมพันธ์ (Relation)r เป็นความสัมพันธ์จาก A ไป B ก็ต่อเมื่อ r เป็นสับเซตของ A x B

โดเมน (Domain) และ เรนจ์ (พิสัย) (Range)

1. โดเมน (Domain) ของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหน้าของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย Dr ดังนั้น  Dr = {x | (x, y) ε r}
2.  เรนจ์ (Range) ของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหลังของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย R rดังนั้น  Rr = {y | (x, y) ε r}

เซต

เซต (อังกฤษ: set) ในทางคณิตศาสตร์นั้น อาจมองได้ว่าเป็นการรวบรวมกลุ่มวัตถุต่างๆ ไว้รวมกันทั้งชุด แม้ว่าความคิดนี้จะดูง่ายๆ แต่เซตเป็นแนวคิดที่เป็นรากฐานสำคัญที่สุดอย่างหนึ่งของคณิตศาสตร์สมัยใหม่ การศึกษาโครงสร้างเซตที่เป็นไปได้ ทฤษฎีเซตมีความสำคัญและได้รับความสนใจอย่างมากและกำลังดำเนินไปอย่างต่อเนื่อง มันถูกสร้างขึ้นมาตอนปลายคริสต์ศตวรรษที่ 19 ตอนนี้ทฤษฎีเซตเป็นส่วนที่ขาดไม่ได้ในการศึกษาคณิตศาสตร์ และถูกจัดไว้ในระบบการศึกษาตั้งแต่ระดับประถมศึกษาในหลายประเทศ ทฤษฎีเซตเป็นรากฐานของคณิตศาสตร์เกือบทุกแขนงซึ่งสามารถนำไปประยุกต์