theorem Th11: :: TOPGEN_3:11

for x, y being Real holds [.x,y.[ is open Subset of Sorgenfrey-line