isOnePointCompactificationOf

Indicates that one topological space is obtained from another by adding a single “point at infinity” so that the resulting space is compact and extends the original space in a minimal way.