:: deftheorem defines almost_cancelable ALGSTR_0:def 37 :
for M being multLoopStr_0 holds
( M is almost_cancelable iff ( M is almost_left_cancelable & M is almost_right_cancelable ) );