Definition:One Point Compactification Topology