Definition:Alexandroff Compactification