Sylvester's criterion

Etymology
Named after.

Proper noun

 * 1)  A necessary and sufficient criterion to determine whether a Hermitian matrix is positive-definite: specifically, when all of the leading principal minors have a positive determinant.