กำหนดเซตไม่ว่างให้สองเซต $A, B$
เราเอาสองเซตนี้มาสร้างเป็นเซตที่สามชื่อ $A\times B$ นี้เรียกว่าผลคูณคาร์ทีเชียน เป็นเซตของคู่อันดับ กำหนดโดย
$A\times B = \{(a, b) : a$ ฮ $A, b$ ฮ $B\}$
ความสัมพันธ์จาก $A$ ไป $B$ คือสับเซตของ $A \times B$
ถ้า $r$ เป็นความสัมพันธ์จาก $A$ ไป $B$ โดเมนของ $r$ หรือ $D_r$ ก็คือสมาชิกตัวหน้าของทุกคู่อันดับใน $r$ และเรนจ์ของ $r$ หรือ $R_r$ ก็คือสมาชิกตัวหลังของทุกคู่อันดับใน $r$
จะหา $D_r$ หรือ $R_r$ ก็ตาม ให้ list คู่อันดับใน $r$ ออกมาทั้งหมดหรือส่วนหนึ่งแล้วดูว่าสมาชิกตัวหน้า (มักตั้งชื่อเป็น $x$) มีค่าเป็นอะไรได้บ้าง แล้วสมาชิกตัวหลัง (มักตั้งชื่อว่า $y$) มีค่าเป็นอะไรได้บ้าง ถ้าแจกแจงสมาชิกใน $D_r$ หรือ $R_r$ ได้ครบก็ตอบไปเลย ถ้ามันเยอะจัดแจกแจงไม่ไหวก็บอกเงื่อนไขสมาชิกของ $D_r, R_r$ ไปแทน
หลักๆแล้วการหาโดเมนและเรนจ์ความสัมพันธ์บนเซตจำนวนจริง ก็จะระวังเรื่องการหารด้วยศูนย์ หรือรากที่สองของจำนวนจริงลบ
__________________
$ \rho\iota\gamma$o$\rho \ \iota\sigma \ \omega$o$\rho\kappa\iota\nu\gamma \ \eta\alpha\rho\delta $
|