Todo conjunto abierto es entorno de todos sus puntos.