theorem Th44: :: INTERVA1:44

for U being non empty set holds Inter (({} U),({} U)) is non empty IntervalSet of U