theorem Th2: :: MSUALG_7:2

for I being non empty set
for M being ManySortedSet of I holds [|M,M|] is Equivalence_Relation of M