# Commit 2021-09-14 04:32 8dffafd2

View on Github →feat(topology): one-point compactification of a topological space (#8579)
Define `alexandroff X`

to be the one-point compactification of a topological space `X`

and prove some basic lemmas about this definition.
Co-authored by: Yury G. Kudryashov urkud@urkud.name