:: deftheorem CoDef defines conorm FUZNORM1:def 15 :
for t, b₂ being BinOp of [.0,1.] holds
( b₂ = conorm t iff for a, b being Element of [.0,1.] holds b₂ . (a,b) = 1 - (t . ((1 - a),(1 - b))) );