theorem :: CARDFIL2:86

for T being non empty TopSpace
for x being Point of T holds NeighborhoodSystem x is filter_base of ([#] T)