:: deftheorem Def11 defines 11-dominant FUZIMPL1:def 4 :
for f being BinOp of [.0,1.] holds
( f is 11-dominant iff f . (1,1) = 1 );