(equivalente, "U" es abierto si cada punto en "U" tiene una vecindad contenida en "U")