 Unitization of an algebra

The unitization adjoins an identity to a possibly nonunital algebra. For $C_0(X)$ it is naturally $C(X^{+})$ on the one-point compactification.

The resulting algebra is a unital algebra.