Letbe a topological space. A compactification of
is a topological space
such that
is homeomorphic to a dense subspace of
Note that a set
is dense in a set
if
Possible compactifications ofare to the unit circle
with one point removed,
considered as a subspace of the unit circle and the closed interval
considered as a subspace of
is dense in
since
and
is dense in
since
- note the points
and
are defined to be the same point.