
Định nghĩa
Định nghĩa
Một quan hệ hai ngôi từ tập Ađến tập Blà tập con Rcủa tích Descartes A×B.
Quan hệ hai ngôi từ Ađến chính nó được gọi là quan hệ trên A.
Chúng ta sẽ viết aRbthay cho (a,b)∈ R.
Ví dụ. Cho A={a1,a2,a3}và B={b1,b2}. Khi đó
R={(a1,b1),(a1,b2),(a2,b1),(a3,b2)}
là một quan hệ từ Avào B. Quan hệ này được mô tả bằng
Tuyết Nhung Toán rời rạc Chương 3. Quan hệ 3 / 35

Các tính chất quan hệ
Định nghĩa
Quan hệ Rtrên Ađược gọi là phản xạ nếu
∀a∈A, aRa
Ví dụ. Trên tập A={1,2,3,4}.
Quan hệ R1=(1,1),(1,2),(2,1),(2,2),(3,4),(4,1),(4,4)không phản xạ
vì (3,3) /∈ R1.
Quan hệ R2=(1,1),(1,2),(1,4),(2,2),(3,3),(4,1),(4,4)phản xạ vì
(1,1),(2,2),(3,3) ∈ R2.
Tuyết Nhung Toán rời rạc Chương 3. Quan hệ 5 / 35




