Exercice 18, § 6

Soit A une algèbre stellaire de type dénombrable. Il existe une suite $(e_n)_{n\in\mathbf{N}}$ dans $A_+$ tel que le filtre élémentaire associé (TG, I, p. 42, déf. 7) est une unité approchée croissante de A.