FANDOM


Пусть

тогда фактор-множество множества $ a $ по отношению $ b $ является разбиением множества $ a $:

$ \forall a \ \forall b \quad b\in \mathrm{EquivRel}(a) \Rightarrow \Bigl( \ \forall c \quad c = \mathrm{QuotientSet}_b(a) \Rightarrow c\in \mathrm{Partition}(a) \ \Bigr) $

Community content is available under CC-BY-SA unless otherwise noted.