theorem Th15: :: INTERVA1:15

for U being non empty set
for A being non empty IntervalSet of U holds A = Inter ((A ``1),(A ``2))