set T = 1TopSp D;
thus 1TopSp D is strict ; :: thesis: 1TopSp D is TopSpace-like
A1: D in bool D by ZFMISC_1:def 1;
A2: for X being Subset-Family of (1TopSp D) st X c= the topology of (1TopSp D) holds
union X in the topology of (1TopSp D) ;
for p, q being Subset of (1TopSp D) st p in the topology of (1TopSp D) & q in the topology of (1TopSp D) holds
p /\ q in the topology of (1TopSp D) ;
hence 1TopSp D is TopSpace-like by A1, A2, PRE_TOPC:def 1; :: thesis: verum