 An object "y" is called a normal form of "x" if formula_17 and "y" is irreducible.If "x" has a "unique" normal form, then this is usually denoted with formula_18.In example 1 above, "c" is a normal form, and formula_19.