LetA = {1,2,3,4,6} และ R เป็นความสัมพันธ์ที่กำหนดโดย R = {(a, b): a, b A, b สามารถหารได้อย่างแน่นอนโดย a}? 1 = เขียน R ใน แบบฟอร์มบัญชีรายชื่อ

ตอบ:

#R = {(1,1), (1,2), (1,3), (1,4), (1,6), (2,2), (2,4), (2,6), (3,3), (3,6), (4,4), (6,6)} #.

คำอธิบาย:

ความสัมพันธ์ # R # บน ชุด # A = {1,2,3,4,6} # ถูกกำหนดโดย

# R = (a, b): a AxxA ย่อย.

ตั้งแต่, #AA a ใน A, 1 | a rArr (1, a) ใน R, AA a ใน A #.

ต่อไป, # 2 | 2; 2 | 4; 2 | 6 rArr (2,2), (2,4), (2,6) ใน R #.

ดำเนินการในลักษณะนี้เราพบว่า

#R = {(1,1), (1,2), (1,3), (1,4), (1,6), (2,2), (2,4), (2,6), (3,3), (3,6), (4,4), (6,6)} #.