theorem :: INTERVA1:20

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