Alexandroff compactification
Redirect to:
Alexandroff extension