Se verifica que la condición anterior no se cumple para cualquier subgrupo, por lo que daremos un nombre especial a los subgrupos que satisfacen dicha condición.