4194
правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Транзитивное отношение''' (''Transitive relation'') - отношение <math>R</math>, определенное...) |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Транзитивное отношение''' (''Transitive relation'') - | '''Транзитивное отношение''' (''[[Transitive relation]]'') - | ||
отношение <math>R</math>, определенное на множестве <math>S</math> и обладающее тем | отношение <math>R</math>, определенное на множестве <math>S</math> и обладающее тем | ||
свойством, что для всех <math>x</math>, <math>y</math> и <math>z</math> из <math>S</math> справедливо | свойством, что для всех <math>x</math>, <math>y</math> и <math>z</math> из <math>S</math> справедливо | ||
<math>xRy | <math>xRy</math> и <math>yRz \Rightarrow xRz.</math> | ||
Отношения "меньше, чем", определенное на множестве целых чисел, и | Отношения "меньше, чем", определенное на множестве целых чисел, и | ||
"является подмножеством", определенное среди множеств, являются | "является подмножеством", определенное среди множеств, являются |