theorem Th14: :: FINTOPO8:14

for NT being NTopSpace
for A being Subset of NT
for x being Point of NT st A is a_neighborhood of x holds
Int A is open a_neighborhood of x