Lema 6.3

Enunciado

La propiedad define una relación de equivalencia entre espacios topológicos.