二項関係
X の任意の元 x, y に対して、x R y, y R x, x = y のうちの何れか一つのみが成り立つとき、R は三分的(三分法的)であるという。
「大なり」">" は三分的関係の例である。
順序関係(狭義の順序を含む) 小なり < 小なりイコール ≤ 大なり > 大なりイコール ≥ 整除関係 | 包含関係 ⊂, ⊆, ⊃, ⊇
同値関係 ⇔ 恒等関係 = 合同 ≡ (アフィン空間における)平行関係 ∥, ‖ (集合の双射による)対等関係 ↔ 同型 ≅
従属関係: 対称かつ反射的な関係
独立関係: 対称かつ非反射的関係