A canonical form is an element of a set of representatives of equivalence classes of forms such that there is a function or procedure which projects every element of each equivalence class onto that one element, the canonical form of that equivalence class. The canonical form is expected to be simpler than the rest of the forms in some way. For example, for cubic polynomials acted upon by the group of translations along the abscissa, the canonical forms are cubic polynomials without a quadratic term.