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