 Leading principal minor

A leading principal minor is a principal minor using the first $k$ rows and columns of a square matrix in a specified ordering. Sylvester's criterion uses these minors to characterize positive-definite matrices.