Sean A y B conjuntos borrosos, donde A, B ⊆ U, u es cualquier elemento (por ejemplo, valor) en el universo U: u ∈ U.

Complemento estándar:

${\displaystyle \mu _{\lnot {A}}(u)=1-\mu _{A}(u)}$ 

El complemento, a veces, se denota por ∁A o A^∁, en lugar de ¬A.

Intersección estándar

${\displaystyle \mu _{A\cap B}(u)=\min\{\mu _{A}(u),\mu _{B}(u)\}}$ 

Unión estándar:

${\displaystyle \mu _{A\cup B}(u)=\max\{\mu _{A}(u),\mu _{B}(u)\}}$ 

En general, la terna (i,u,n) se llama terna De Morgan bicondicional (sii)

• i es una t-norma ,
• u es una t-conorma (conocida también como s-norma),
• n es un negador fuerte,

de modo que para todo x,y ∈ [0,1] se cumple lo siguiente:

u(x, y) = n( i( n(x), n(y) ) )

(relación generalizada de De Morgan).^[1]​ Esto implica los axiomas proporcionados en detalle, a continuación.

μ_A(x) se define como el grado en que x pertenece a A. Sea ∁A un complemento borroso de A de tipo c. Entonces μ_∁A(x) es el grado en que x pertenece a ∁A, y el grado en que x no pertenece a A. (μ_A(x) es por lo tanto, el grado en que x no pertenece a ∁A.) Sea un complemento ∁ A definido por una función

c: [0,1] → [0,1]

Para todo x ∈ U : μ _∁A ( x ) = c ( μ _A ( x ))

Axioma c1. Condición de contorno

c(0) = 1 y c (1) = 0

Axioma c2. Monotonicidad

Para todo a, b ∈ [0, 1], si a < b, entonces c(a) > c(b)

Axioma c3. Continuidad

c es función continua.

Axioma c4. Involuciones

c es una involución, lo que significa que c (c(a)) = a para cada a ∈ [0,1]

c es un negador fuerte (conocido también como complemento borroso ).

Una función c que satisface los axiomas c1 y c3 tiene al menos un punto fijo a^* con c(a^*) = a^*, y si también se cumple el axioma c2, hay exactamente un punto fijo. Para el negador estándar c(x) = 1-x, el único punto fijo es a^* = 0.5.^[2]​

La intersección de dos conjuntos borrosos A y B se realiza, generalmente, por medio de una operación binaria en el intervalo unitario, una función de la forma

i: [0,1]×[0,1] → [0,1].

Para todo x ∈ U : μ _{A ∩ B} (x) = i [μ_A(x), μ_B(x)].

Axioma i1. Condición de contorno

i(a, 1) = a

Axioma i2. Monotonicidad

b ≤ d implica i(a, b) ≤ i(a, d)

Axioma i3. Conmutatividad

i(a, b) = i(b, a)

Axioma i4. Asociatividad

i(a, i(b, d)) = i(i(a, b), d)

Axioma i5. Continuidad

i es una función continua

Axioma i6. Subidempotencia

i(a, a) < a para todo 0 < a < 1

Axioma i7. Monotonicidad estricta

i(a₁, b₁) < i(a₂, b₂) si a₁ < a₂ y b₁ < b₂

Los axiomas i1 hasta i4 definen una t-norma (también conocida como intersección difusa ). La t-norma estándar min es la única t-norma idempotente (es decir, i(a₁, a₁) = a para todo a ∈ [0,1]).^[2]​

La unión de dos conjuntos borrosos A y B se especifica generalmente, a través de una operación binaria sobre la función de intervalo unitario, de la forma

u: [0,1]×[0,1] → [0,1].

Para todo x ∈ U : μ_{A ∪ B}(x) = u[μ_A(x), μ_B(x)]

Axioma u1. Condición de contorno

u(a, 0) =u(0 ,a) = a

Axioma u2. Monotonicidad

b ≤ d implica u(a, b) ≤ u(a, d)

Axioma u3. conmutatividad

u(a, b) = u(b, a)

Axioma u4. Asociatividad

u(a, u(b, d)) = u(u(a, b), d)

Axioma u5. Continuidad

u es una función continua

Axioma u6. Superidempotencia

u(a, a) > a para todo 0 < a < 1

Axioma u7. Monotonicidad estricta

a₁ < a₂ y b₁ < b₂ implica que u(a₁, b₁) < u(a₂, b₂)

Los axiomas u1 hasta u4 definen una t-conorma (también conocida como s-norma o unión difusa ). La t-conorma max estándar es la única t-conorma idempotente (es decir, u(a₁, a₁) = a para todo a ∈ [0,1]).^[2]​

Las operaciones de agregación en conjuntos borrosos son mediante las cuales varios conjuntos borrosos se combinan de una manera deseable para producir un único conjunto borroso.

La operación de agregación en n conjuntos difusos (2 ≤ n) se define mediante una función

h: [0,1] ⁿ → [0,1]

Axioma h1. Condición de contorno

h(0, 0, ..., 0) = 0 and h(1, 1, ..., 1) = uno

Axioma h2. Monotonicidad

Para cualquier par <a₁, a₂, ..., a_n> y <b₁, b₂, ..., b_n> de n-tuplas tales que a_i, b_i ∈ [0,1] para toda i ∈ N_n, si a_i ≤ b_i para todo i ∈ N_n, entonces h(a₁, a₂, ...,a_n) ≤ h(b₁, b₂, ..., b_n); es decir, h es monótonamente creciente en todos sus argumentos.

Axioma h3. Continuidad

h es una función continua.

• Lógica difusa
• Conjunto borroso
• T-norma
• Layes de De Morgan

• Klir, George J.; Bo Yuan (1995). Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice Hall. ISBN 978-0131011717. 

• Lofti A. Zadeh. Conjuntos borrosos. Información y Control, 8:338–353, 1965
• Esta obra contiene una traducción derivada de «Fuzzy set operations» de Wikipedia en inglés, concretamente de esta versión del 19 de junio de 2022, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.