Quan hệ bắc cầu

Trong toán học, một quan hệ trên hai tập hợp R trên tập hợp X là bắc cầu (chuyển tiếp) nếu chỉ khi một phần tử a có quan hệ với phần tử b, và phần tử b có quan hệ với phần tử c, sau đó a có quan hệ với c. Trong ký hiệu toán học $\forall a,b,c\in X:(aRb\wedge bRc)\Rightarrow aRc$$\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$$R;R\subseteq R$. Tính bắc cầu (chuyển tiếp) là thuộc tính quan trọng của các quan hệ thứ tự từng phần và tập hợp tương đương.

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.

Liên kết ngoài

• Transitivity in Action at cut-the-knot