theorem Th10: :: INTERVA1:10

for U being non empty set
for A being Subset of U holds {A} is IntervalSet of U