Llamaremos normalizador de formula_46 al conjunto