Note: in this section, "up to" some equivalence relation E means that the canonical form is not unique in general, but that if one object has two different canonical forms, they are E-equivalent.
Uwaga: „z dokładnością do” jakiejś relacji identyczności E oznacza, że postać kanoniczna nie jest unikalna w ujęciu ogólnym, ale jeśli jeden obiekt ma dwie postaci kanoniczne, są one E-identyczne.