Theorem that doing a row op to an augmented matrix doesn't change the set of solutions to the corresponding matrix equation. Definition of a leading entry of a matrix. Definition of row reduced echelon form (RREF), examples of matrices which are and are not in RREF.