let T1, T2 be empty TopSpace; :: thesis: T1,T2 are_homeomorphic
reconsider E = {} as Function of T1,T2 by FUNCT_2:1, RELAT_1:38;
A1: E " is continuous ;
E is continuous ;
then E is being_homeomorphism by A1;
hence T1,T2 are_homeomorphic by T_0TOPSP:def 1; :: thesis: verum