En la presente sección hemos presentado a los conjuntos difusos. Un conjunto difuso en un universo es una función definida en el universo, que toma valores en el intervalo de números reales entre 0 y 1, inclusive.
La noción de conjunto difuso extiende la de conjunto en el sentido usual. Así como existen operaciones conjuntistas, en el sentido usual, también se puede extender de diversas maneras a esas operaciones para aplicarlas sobre conjuntos difusos.
Los conjuntos usuales con sus operaciones conjuntistas forman álgebras booleanas.
Con cada posible extensión de las operaciones conjuntistas usuales a los conjuntos
difusos se tiene diversas propiedades de los operadores resultantes.