Reduced Row Echelon Form Definition