:: deftheorem NDef defines N_CC FUZIMPL3:def 6 :
for b₁ being UnOp of [.0,1.] holds
( b₁ = N_CC iff for x being Element of [.0,1.] holds b₁ . x = 1 - x );