Sea 
un conjunto difuso de U. Un complementario de 
viene dado por la función 
, donde 
representa el grado de pertenencia de x en el concepto negación del representado por 
, cumpliendo:
c(0)=1, c(1)=0
para cada 
con 
se cumple 
Sea un conjunto difuso de U. Un complementario de viene dado por la función , donde representa el grado de pertenencia de x en el concepto negación del representado por , cumpliendo:
c(0)=1, c(1)=0
para cada con se cumple