theorem Th3: :: INTERVA1:3

for U being set
for A, B being Subset of U st not A c= B holds
Inter (A,B) = {}