42
правки
Изменения
м
Нет описания правки
{{Определение
|definition=
'''Композицией ''' (произведением, суперпозицией) бинарных отношений <tex>R\subseteq A\times B</tex> и <tex>S\subseteq B\times C</tex> называется такое отношение <tex> (R \circ S) \subseteq A\times C</tex>, что:
<tex>\forall a \in A, c \in C : a (R \circ S) c \Leftrightarrow \exists b \in B : (a R b) \wedge (b S c) </tex>.
{{Определение
|definition=
'''Степень отношения ''' <tex>R^{n} \subseteq A\times A</tex>, определяется следующим образом:
* <tex> R^{n} = R^{n-1} \circ R; </tex>
{{Определение
|definition=
Отношение <tex>R^{-1} \subseteq B\times A</tex> называют '''обратным''' для отношения <tex> R \subseteq A\times B</tex>, если:
<tex> aR^{-1}b \Leftrightarrow bRa </tex>
{{Определение
|definition=
'''Ядром отношения''' R называется отношение <tex> R\circ R^{-1} </tex>
}}
