Аноним

Транзитивное отношение: различия между версиями

Материал из WikiGrapp
нет описания правки
(Создана новая страница размером '''Транзитивное отношение''' (''Transitive relation'') - отношение <math>R</math>, определенное...)
 
Нет описания правки
Строка 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\mbox{ и }yRz \Rightarrow xRz.</math>
<math>xRy</math> и <math>yRz \Rightarrow xRz.</math>
Отношения "меньше, чем", определенное на множестве целых чисел, и
Отношения "меньше, чем", определенное на множестве целых чисел, и
"является подмножеством", определенное среди множеств, являются
"является подмножеством", определенное среди множеств, являются