theorem Th8: :: INTERVA1:8

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