for T being non empty TopSpace st T is finite holds
for B being Basis of T
for x being Element of T holds meet { A where A is Element of the topology of T : x in A } in B