theorem Th32: :: TOPGEN_5:32

for A being Subset of Niemytzki-plane st A = (y>=0-plane \ y=0-line) /\ (product <*RAT,RAT*>) holds
for x being set holds Cl (A \ {x}) = [#] Niemytzki-plane