El operador de cambio debe ser entendido como un operador que actúa sobre el álgebra sigma formula_7,