for R being non empty associative multLoopStr
for a, b being Element of R st Class a meets Class b holds
Class a = Class b