1302
правки
Изменения
м
use \iff, Luke
'''Композицией''' (произведением, суперпозицией) бинарных отношений <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 iff \exists b \in B : (a R b) \wedge (b S c) </tex>.
}}
=Свойства=
* Ядро отношения R [[Симметричное отношение|симметрично]]: <tex> a (R \circ R^{-1}) b \Leftrightarrow iff \exists c: (a R c) \wedge (c R^{-1} b) \Leftrightarrow \exists c: (b R c) \wedge (c R^{-1} a) \Leftrightarrow iff b (R \circ R^{-1} ) a</tex>
* <tex> (R^{-1})^{-1} = R </tex>
