Esto significa que hay un cierto conjunto abierto "V" que contiene a "e" que es relativamente compacto en la topología de "G".