Unitization

設 為一個沒有單位元的 -代數。那麼 作為一個向量空間與

1. .

2. .

3. .

4. .

5. .

是一個具有單位元 的 -代數，並且 是從 到 的等距 -同構。代數 被稱為 的 unitization。

例如，在無窮遠處消失的 上連續復值函式的 -代數的最小 unitization 是緊空間 上連續復值函式的 -代數，其中 是 的單點緊化 (Wegge-Olsen 1993)。