Recordemos que la proposición 14.2.2 establece que subgrupos abiertos son