:: deftheorem defines (o) MATHMORP:def 5 :
for T being non empty addLoopStr
for X, B being Subset of T holds X (o) B = (X (+) B) (-) B;