Русская Википедия:Равенство третьему

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:К удалению

Шаблон:Нет ссылок В математике бинарное отношение <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>.

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

Пример

Все транзитивные и симметричные отношения обладают этим свойством.

См. также

Шаблон:Math-stub