¿Qué es un término para un valor $x \in X$ que para el operador binario $f\colon X\times X \to X$ se asigna siempre a sí mismo, sin importar cuál sea el otro valor $$ \forall y \in X \quad f(x, y) = f(y, x) = x $$
¿Se llama "punto fijo" ¿también o no?
Los ejemplos son $0$ para multiplicación de números , $\mathrm{false}$ para conjunción , $\mathrm{true}$ para disyunción , $\emptyset$ para intersección etc.