In this entry has three different meanings:
Theorem - Every -algebra has an approximate identity . Moreover, the approximate identity can be chosen to satisfy the following properties:
For separable -algebras the approximate identity can be chosen as an increasing sequence of norm-one elements.