familia finita de tales abiertos cuya reunión será igual a todo X; por lo que sus