theorem Th50: :: TOPS_5:50

for S, T being TopSpace st [#] S c= [#] T & ex K being prebasis of S ex L being prebasis of T st K = INTERSECTION (L,{([#] S)}) holds
S is SubSpace of T