theorem Th5: :: INTERVA1:5

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