conjunto difuso

Un conjunto difuso o conjunto borroso (en inglés, fuzzy set) es un conjunto que puede contener elementos de forma parcial, es decir, que la propiedad de que un elemento pertenezca al conjunto puede ser cierta con un grado parcial de verdad. Este grado de pertenencia es una proposición en el contexto de la lógica difusa, y no de la lógica usual binaria, que sólo admite dos valores: cierto o falso. El grado de pertenencia de a , o el de pertenecer al conjunto, se mide con un número real comprendido entre 0 y 1, ambos inclusive. De forma rigurosa, el valor correspondiente a cada elemento define una función indicatriz , donde representa el conjunto universal del que el conjunto toma sus elementos. Por ello se suele hablar de subconjuntos difusos y no de conjuntos difusos. Si el valor de esta función es 0, no pertenece a . Si es 1, entonces totalmente, y si entonces pertenece a de una manera parcial.​