Principal submatrix ($A[I,I]$)

The square matrix obtained by retaining the same index set $I$ of rows and columns of a square matrix $A$. Its determinant is a principal minor. A leading principal submatrix uses the first $k$ indices.