Row echelon form
A property of the matrix in which
- each non-zero row is above all zero rows
- each leading entry is to the right of all leading entries above it
- each entry in the column below the leading entry is zero,
denoted functionally as
\begin{equation*} \operatorname{ref}(A). \end{equation*}