Ahora bien, podemos definir un conjunto cuyas exigencias sean aún más fuertes que las que definen a un grupo normalizador.