theorem Th7: :: INTERVA1:7

for U being non empty set
for A being non empty Subset of U holds Inter (A,({} U)) = {}