Assume that $A$ is a $C^{*}$ algebra and $B$ and $C$ are two sub $C^{*}$ algebras of $A$ such that:
$B$ is finite dimensional algebra.
For all positive $c\in C$, there exist a positive $b\in B$ such that $c<b$.
Can we say that $C$ is finite dimensional algebra, too?
If $A$ is any unital C*-algebra, the hypotheses are satisfied with $C=A$ and $B=\mathbb C1$.