Транзитивное отношение: различия между версиями
Перейти к навигации
Перейти к поиску
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> | ||
Отношения "меньше, чем", определенное на множестве целых чисел, и | Отношения "меньше, чем", определенное на множестве целых чисел, и | ||
"является подмножеством", определенное среди множеств, являются | "является подмножеством", определенное среди множеств, являются |
Версия от 13:56, 7 февраля 2010
Транзитивное отношение (Transitive relation) - отношение [math]\displaystyle{ R }[/math], определенное на множестве [math]\displaystyle{ S }[/math] и обладающее тем свойством, что для всех [math]\displaystyle{ x }[/math], [math]\displaystyle{ y }[/math] и [math]\displaystyle{ z }[/math] из [math]\displaystyle{ S }[/math] справедливо [math]\displaystyle{ xRy }[/math] и [math]\displaystyle{ yRz \Rightarrow xRz. }[/math] Отношения "меньше, чем", определенное на множестве целых чисел, и "является подмножеством", определенное среди множеств, являются транзитивными.
Словарь
[Словарь]