theorem Th20: :: TOPGRP_1:21

for T being non empty TopSpace
for p being Point of T holds [#] T is a_neighborhood of p