theorem :: TOPGEN_5:37

(y>=0-plane \ y=0-line) /\ (product <*RAT,RAT*>) is dense-in-itself Subset of Niemytzki-plane