theorem Th25: :: TOPGEN_5:25

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