theorem Th8: :: LOPCLSET:8
for T being non empty TopSpace
for x being Element of OpenClosedSet T holds x ` is Element of OpenClosedSet T