 Reduced row echelon form

A row echelon form whose pivots are one and whose pivot columns have zeros in every other row. Over a field, each row space has a unique such matrix after zero rows are removed. It describes a vector subspace independently of which initial basis was used; Gaussian binomial coefficients exploit this uniqueness to count vector subspaces over a finite field.