theorem Th26: :: JORDAN2B:26

for P being Subset of R^1
for a, b being Real st P = { s where s is Real : ( a < s & s < b ) } holds
P is open