Alexandroff one-point compactification