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.