finita de espacios topológicos.