A class of simple tracially AF -algebras.
Let 𝓐 be a unital separable simple nuclear C*-algebra such that ℳ (𝓐 ⊗ 𝓚) has real rank zero. Suppose that ℂ is a separable simple liftable and purely large unital C*-subalgebra of ℳ (𝓐 ⊗ 𝓚)/ (𝓐 ⊗ 𝓚). Then the relative double commutant of ℂ in ℳ (𝓐 ⊗ 𝓚)/(𝓐 ⊗ 𝓚) is equal to ℂ.