---

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*}
\]