theorem :: CARDFIL2:87

for T being non empty TopSpace
for x being Point of T
for B being basis of (BOOL2F (NeighborhoodSystem x)) holds B is filter_base of ([#] T) by Th09;