Равенство третьему

В математике бинарное отношение ${\displaystyle R}$ на множестве ${\displaystyle X}$ обладает свойством равенства третьему, если для любых трёх элементов множества ${\displaystyle a,b,c}$ выполнение отношений ${\displaystyle aRb}$ и ${\displaystyle cRb}$ влечёт выполнение отношения ${\displaystyle aRc}$.

Формально, отношение ${\displaystyle R}$ имеет свойство равенства третьему, если ${\displaystyle \forall a,b,c\in X,\ aRb\land cRb\Rightarrow aRc}$.

Если отношение симметрично, то свойство равенства третьему совпадает с транзитивностью.