One-point compactification

Summary