Изменения
1) use \iff, Luke 2) = = для названия статьи
Примером такого отношения может служить отношение на некотором множестве <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=0} R^{i} </tex> - [[Транзитивное замыкание]] отношения R
==Обратное отношение==
{{Определение
}}
==Свойства==
* Ядро отношения R [[Симметричное отношение|симметрично]]: <tex> a (R \circ R^{-1}) b \iff \exists c: (a R c) \wedge (c R^{-1} b) \Leftrightarrow iff \exists c: (b R c) \wedge (c R^{-1} a) \iff b (R \circ R^{-1} ) a</tex>
* <tex> (R^{-1})^{-1} = R </tex>
