One-point compactification