:: deftheorem Def10 defines 10-weak FUZIMPL1:def 5 :
for f being BinOp of [.0,1.] holds
( f is 10-weak iff f . (1,0) = 0 );