:: deftheorem defines EqCl MSUALG_6:def 14 :
for S being non empty non void ManySortedSign
for A being non-empty MSAlgebra over S
for R being ManySortedRelation of A holds EqCl (R,A) = EqCl R;