Esto significa que Ω es formula_1-valorada en "M".