A stably finite unital C*-algebra is a unital C*-algebra 
such that every isometry in every matrix algebra 
is unitary. In other
words,
 |
for 
and every positive integer 
. The matrix-level condition
is stronger than asking this only in 
.
A faithful tracial state implies stable finiteness,
but stable finiteness does not supply a chosen trace.
