$\lambda_k > 0$ are the **Schmidt coefficients** satisfying $\sum_k \lambda_k^2 = 1$ - The bases $\{|a_k\rangle\}$ and $\{|b_k\rangle\}$ are called the **Schmidt bases**