Русская Википедия:Равенство третьему
Материал из Онлайн справочника
Шаблон:К удалению
Шаблон:Нет ссылок В математике бинарное отношение <math>R</math> на множестве <math>X</math> обладает свойством равенства третьему, если для любых трёх элементов множества <math>a, b, c</math> выполнение отношений <math>a R b</math> и <math>c R b</math> влечёт выполнение отношения <math>a R c</math>.
Формально, отношение <math>R</math> имеет свойство равенства третьему, если <math>\forall a, b, c \in X,\ a R b \land c R b \Rightarrow a R c</math>.
Если отношение симметрично, то свойство равенства третьему совпадает с транзитивностью.
Пример
Все транзитивные и симметричные отношения обладают этим свойством.
См. также
