Транзитивное отношение: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
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> и <math>yRz \Rightarrow xRz.</math> | <math>xRy</math> и <math>yRz \Rightarrow xRz.</math> | ||
Отношения "меньше, чем", определенное на множестве целых чисел, и | Отношения "меньше, чем", определенное на множестве целых чисел, и | ||
| Строка 7: | Строка 7: | ||
транзитивными. | транзитивными. | ||
==Словарь== | ==Словарь== | ||
* Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991. | |||
Текущая версия от 18:19, 21 сентября 2011
Транзитивное отношение (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] Отношения "меньше, чем", определенное на множестве целых чисел, и "является подмножеством", определенное среди множеств, являются транзитивными.
Словарь
- Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.