Mathematics has defined equivalence relations for some objects. These equivalence relations say that certain classes of objects are "equal". These objects then belong to the same equivalence class. In such a case, a canonical form consists in the choice of a specific object in each class. For example, row echelon form and Jordan normal form are canonical forms for matrices.