Untuk setiap matriks, terdapat tepat satu matriks eselon baris tereduksi yang ekuivalen baris dengannya.