reconsider A = y>=0-plane \ y=0-line as open Subset of by Th29;
Cl A = [#] Niemytzki-plane by Th38;
hence y>=0-plane \ y=0-line is dense Subset of by TOPS_1:def 3; :: thesis: verum