Extension of a topological space
From HandWiki
A topological space $Y$ in which the given topological space $X$ is an everywhere-dense set. If $Y$ is a compact space, then it is called a compact extension, and if $Y$ is a Hausdorff space, it is called a Hausdorff extension.
Comments
Compact extensions are also called compactifications, cf. also Compactification.
References
| [a1] | E. Čech, "Topological spaces" , Wiley (1966) |
 |  |
