1632
правки
Изменения
м
rollbackEdits.php mass rollback
В связи с этим понятием, также вводятся обозначения:
<tex> R^{+} = \bigcup\limits^{\infty}_{i=1} R^{i}; </tex>— [[Транзитивное замыкание]] (англ. ''transitive closure'') отношения <tex>R</tex>;
<tex> R^{*} = \bigcup\limits^{\infty}_{i=0} R^{i} </tex> — [[Транзитивное Транзитивно-рефлексивное замыкание]] (англ. ''transitive closure'') отношения <tex>R</tex>
== Обратное отношение ==
{{Определение
|definition=
'''Ядром отношения''' (англ. ''core kernel of relation'') <tex>R</tex> называется отношение <tex> R\circ R^{-1} </tex>
}}
== Свойства ==
Композиция отношений обладает следующими свойствами:
