:: deftheorem Def6 defines Classes GCD_1:def 6 :
for R being non empty multLoopStr
for b₂ being Subset-Family of R holds
( b₂ = Classes R iff for A being Subset of R holds
( A in b₂ iff ex a being Element of R st A = Class a ) );