let GX be TopSpace; :: thesis: {} in the topology of GX
reconsider A = {} as Subset-Family of GX by XBOOLE_1:2;
A c= the topology of GX ;
hence {} in the topology of GX by Def1, ZFMISC_1:2; :: thesis: verum