Quan hệ bắc cầu

Trong toán học, một quan hệ hai ngôi R trên tập hợp X được gọi là có tính bắc cầu (hay còn đựoc gọi là tính chuyển tiếp, tính truyền ứng) khi và chỉ khi điều kiện sau đây được thỏa mãn: nếu một phần tử a có quan hệ với một phần tử b, và phần tử b có quan hệ với phần tử c; thì phần tử a có quan hệ với phần tử c.

Trong ký hiệu toán học, $\forall a,b,c\in X:(aRb\wedge bRc)\Rightarrow aRc$, hoặc cách dùng ngắn hơn $(R;R)\subseteq R$. Tính bắc cầu là thuộc tính quan trọng của các quan hệ thứ tự từng phần và quan hệ tương đương tập hợp.

Tham khảo

• Ralph P. Grimaldi, Discrete and Combinatorial Mathematics, ISBN 0-201-19912-2.
• Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7.
• Hoàng Xuân Sính, 1972, Đại số đại cương

Liên kết ngoài

• Transitivity in Action at cut-the-knot