for U being non empty set
for A being non empty IntervalSet of U holds U in A _\/_ (A ^)