A theorem in [approximation theory](/page/Approximation%20Theory) concerning Best $L^2$ $n$-Term Approximation in an [Orthonormal Basis](/page/Orthonormal%20Basis), used to organise the analytic structure of approximation methods and convergence results.