theorem Th37: :: ISOMICHI:37

for T being TopSpace
for A being Subset of T holds
( A is 1st_class iff Border A is empty )