Propriedades (Comp.|Comp. Relativo)
zNegação Dupla
yù ( ùA) = A
y
zLei de Morgan
yù (A Ú B) = ù A Ù ù B
yù (A Ù B) = ù A Ú ù B
y
zù f = X
yù X = f
y
zSe A Ì B então ù A É ù B  e A - B = f
zA - A = f
yf - A = f
y
zA - f  = A
z
z Uma característica significante que distingue os conjuntos difusos dos conjuntos clássicos é:
yù A Ù A ¹ f
yù A Ú A ¹ X