theorem :: TOPGEN_5:39

y>=0-plane \ y=0-line is dense-in-itself Subset of Niemytzki-plane