Dimostrazione

 

 

 

t1 pi fine di t2 tutti gli aperti di t2 sono aperti di t1 A aperto di Xt2 aperto di Xt1 id 1 (A) = A Xt1, ma aperto in Xt1.

 

Inoltre A' aperto di Xt1 aperto di Xt2 id(A') aperto di Xt2.

(id ovviamente biunivoca)