for L being non empty right_unital multLoopStr
for S, T being Subset of L st 1. L in T holds
S c= S * T