Next Topology of Data Types 23

One-point compactification

X* = X ∪ {∞}


Next