Definition:Reduced Echelon Matrix