1632
правки
Изменения
м
rollbackEdits.php mass rollback
<tex>\forall a \in A, c \in C : a (R \circ S) c \iff \exists b \in B : (a R b) \wedge (b S c) </tex>.
}}
Примером такого отношения может служить отношение на некотором множестве <tex>A</tex> населенных пунктов <tex>R\subseteq A\times A</tex> {{- --}} отношение "можно доехать на поезде", а <tex>S\subseteq A\times A</tex> {{--- }} отношение "можно доехать на автобусе". Тогда отношение <tex>R\circ S\subseteq A\times A</tex> {{--- }} отношение "можно добраться из пункта А в пункт Б, сначала проехав на поезде, а потом на автобусе (только по одному разу)".
== Степень отношений ==
В связи с этим понятием, также вводятся обозначения:
<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>
}}
== Свойства ==
Композиция отношений обладает следующими свойствами:
