Canonical form
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.