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