:: deftheorem Drastic2CDef defines drastic_conorm FUZNORM1:def 14 :
for b₁ being BinOp of [.0,1.] holds
( b₁ = drastic_conorm iff for a, b being Element of [.0,1.] holds
( ( min (a,b) = 0 implies b₁ . (a,b) = max (a,b) ) & ( min (a,b) <> 0 implies b₁ . (a,b) = 1 ) ) );