theorem Th56: :: TOPGEN_5:56

for x being Real holds right_closed_halfline x is closed Subset of Sorgenfrey-line