theorem :: FINTOPO8:42

for T being non empty TopSpace
for A being Subset of T holds A is Subset of (Top2NTop T) by FINTOPO7:def 15;