42
правки
Изменения
Нет описания правки
<math>\forall a, c: a(R\circ S)c \Leftrightarrow \exists b\in B\mid (aRb)\and (bSc)</math>.
Примером такого отношения может служить отношение на некотором множестве <math>A</math> населенных пунктов A <math>R\subseteq A\times A</math> - отношение "можно доехать на поезде", а <math>B\subseteq A\times A</math> - отношение "можно доехать на автобусе". Тогда отношение <math>R\circ S\subseteq A\times A</math> - отношение "можно добраться из А в Б, сначала проехав на поезде, а потом на автобусе(только по одному разу)".
=Степень отношений=
