theorem Th11: :: JORDAN20:11

for P being Subset of I[01]
for s being Real st P = [.0,s.[ holds
P is open