for x being set
for p, q being ExtReal holds
( not x in ].p,q.] or ( x in [.p,q.[ & x <> p ) or x = q )