for U being non empty set
for A being non empty IntervalSet of U holds A is non empty ordered Subset-Family of U