for U being non empty set
for A being Subset of U holds {A} is IntervalSet of U