for N being Fuzzy_Negation holds
( NegationD1 <= N & N <= NegationD2 )