theorem Th43: :: INTERVA1:43

for U being non empty set holds Inter (([#] U),([#] U)) is non empty IntervalSet of U