theorem :: ALGSTR_4:49

for M being non empty unital multMagma
for R being compatible Equivalence_Relation of M holds 1_ (M ./. R) = Class (R,(1_ M))