:: deftheorem NilminDef defines nilmin_norm FUZNORM1:def 12 :
for b₁ being BinOp of [.0,1.] holds
( b₁ = nilmin_norm iff for a, b being Element of [.0,1.] holds
( ( a + b > 1 implies b₁ . (a,b) = min (a,b) ) & ( a + b <= 1 implies b₁ . (a,b) = 0 ) ) );