Let $A$ be a separable complex $C^*$-algebra. Then the following are equivalent.
paragraph
admin
1. The algebra $A$ is AF: for every finite subset $F\subset A$ and every $\varepsilon>0$ there exists a finite-dimensional complex $C^*$-subalgebra $E\subset A$ such that