:: deftheorem defines <= FUZIMPL3:def 19 :
for f1, f2 being UnOp of [.0,1.] holds
( f1 <= f2 iff for a being Element of [.0,1.] holds f1 . a <= f2 . a );