Abstract: For given $\ell,s\in \mathbb{N},$ $\Lambda=\{\rho_j\}_{j=1,\cdots,s},\rho_j\in\mathbb{T}$, the $C^*$-algebra $\mathcal{B}:=\mathcal{E}(\{r_j\}_{j=1,\cdots,s},\Lambda,\\ \ell)$ is defined to be the universal $C^*$-algebra generated by $\ell$ unitaries $\mathfrak{u}_1,\cdots,\mathfrak{u}_{\ell}$ subject to the relations $r_{j}(\mathfrak{u}_1,\cdots,\mathfrak{u}_{\ell})-\rho_j=0$ for all $j=1,\cdots,s,$ where the $r_j$ is monomial in $\mathfrak{u}_1,\cdots,\mathfrak{u}_{\ell}$ and their inverses for $j=1,2,\cdots,s$. If $\mathcal{B}$ is a unital $AF$-algebra with a unique tracial state, and $K_0(\mathcal{B})$ is a finitely generated group, we say that the relations $(\{r_j\}_{j=1,\cdots,s},\Lambda,\ell)$ are $AF$-relations. If the relations $(\{r_j\}_{j=1,\cdots,s},\Lambda,\ell)$ are $AF$-relations, we prove that, for any $\varepsilon>0,$ there exists a $\delta>0$ satisfying the following: for any unital $C^*$-algebra $\mathcal{A}$ with the cancellation property, strict comparison, nonempty tracial state space, and any $\ell$ unitaries $u_1,u_2,\cdots,u_\ell\in\mathcal{A}$ satisfying

Key words: $C^*$-algebras, stability, $AF$-relations, unitary