Dimostrazione
Per dimostrare che f –1 (t) è una topologia, basta osservare che per una qualunque famiglia di aperti Bi di t, e per una famiglia finita di aperti Bj di t.