theorem :: TOPGEN_5:38

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