Entonces, T es una topología en el conjunto Y .