42
правки
Изменения
Нет описания правки
Ядром отношения R называется отношение <math> R\circ R^{-1} </math>
Оно симметрично: <math> a(R\circ R^{-1})b \Rightarrow \exists c: (aRc)\and(cR^{-1}b) \Rightarrow \exists c:(bRc)\and (cR^{-1}a) \Rightarrow b(R\circ R^{-1}) a</math>
