Leading principal minor (${\Delta }_k=\det A_{1:k,1:k}$)

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.