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