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