:: deftheorem DefSugeno defines SugenoNegation FUZIMPL3:def 21 :
for l being Real st l > - 1 holds
for b₂ being UnOp of [.0,1.] holds
( b₂ = SugenoNegation l iff for x being Element of [.0,1.] holds b₂ . x = (1 - x) / (1 + (l * x)) );