Изменения
→Степень отношений
<mathtex>\forall a\in A, c\in C : a(R\circ S)c \Leftrightarrow iff \exists b\in B\mid : (aRba R b)\and wedge (bScb S c)</mathtex>.}}Примером такого отношения может служить отношение на некотором множестве <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> {{---}} отношение "можно добраться из пункта А в пункт Б, сначала проехав на поезде, а потом на автобусе (только по одному разу)".
{{Определение|definition='''Степень отношений=отношения''' (англ. ''power of relation'') <tex>R^{n} \subseteq A\times A</tex>, определяется следующим образом:
* <mathtex> R^{n1} = R^{n-1} \circ R; </mathtex>
* <mathtex> R^1 {0} = R\{ (x, x) \mid x \in 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> — Транзитивно-рефлексивное замыкание отношения <tex>R</tex> == Обратное отношение == {{Определение|definition=Отношение <tex>R^{-1} \subseteq B\times A</tex> называют '''обратным''' (англ. ''inverse relation'') для отношения <tex> R \subseteq A\times B</tex>, если: <tex> bR^{-1}a \iff aRb </tex>}} {{ Определение|definition='''Ядром отношения''' (x, xангл. ''kernel of relation'') <tex>R</tex> называется отношение <tex> R\mid xcirc R^{-1} </tex>}} == Свойства ==Композиция отношений обладает следующими свойствами: * Ядро отношения <tex> R </tex> [[Симметричное отношение|симметрично]]: <tex>a (R \circ R^{-1}) b \in Aiff b (R \circ R^{-1})a </mathtex>
* Обратное отношение к композиции отношений <mathtex> R</tex> и <tex>S </tex> есть композиция отношений, обратных к <tex>R </tex> и <tex>S : </tex> <tex> (R \circ S) ^{+-1} = \cup(S ^{\infty}_{i=-1} ) \circ (R^{i-1}; ) </mathtex>
* Обратное отношение к объединению отношений <mathtex> R</tex> и <tex>S </tex> есть объединение отношений, обратных к <tex>R </tex> и <tex>S : </tex> <tex> (R \cup S) ^{*-1} = \cup(R^{-1}) \infty}_{i=0} Rcup (S^{i-1} ) </mathtex> - [[Транзитивное замыкание]] множества R