:: deftheorem Def3 defines MSEquivalence-like MSUALG_4:def 3 :
for S being non empty ManySortedSign
for U1 being MSAlgebra over S
for IT being ManySortedRelation of U1 holds
( IT is MSEquivalence-like iff IT is MSEquivalence_Relation-like );