for U being non empty set
for A, B being non empty IntervalSet of U holds A _\/_ B = B _\/_ A ;