for P being Subset of R^1
for r, s being Real st P = ].r,s.[ holds
P is open