theorem :: INTERVA1:19

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