something related to Alexandrov one-point compactification
The topology for is defined as follows: there are two kinds of open sets of . If , then is open if and only if is an open set in the topology of . If , then is open if and only if is the complement of a closed compact subset of .