for X being open Subset of REAL
for a, b being Real st X c= [.a,b.] holds
( not a in X & not b in X )