A property of the matrix \(A\), denoted

\begin{equation*} \operatorname{rref}(A), \end{equation*}

where \(A\) is in the row echelon form and

• each leading entry is 1
• each entry in the column above the leading one is 0.

---