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.[1]Trong ký hiệu toán học, ∀ a , b , c ∈ X : ( a R b ∧ b R c ) ⇒ a R c {\displaystyle \forall a,b,c\in X:(aRb\wedge bRc)\Rightarrow aRc} , hoặc cách dùng ngắn hơn ( R ; R ) ⊆ R {\displaystyle (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.