for A being Subset of Niemytzki-plane st A = y>=0-plane \ y=0-line holds
Cl A = [#] Niemytzki-plane