 Example 1 leads us to define some important notions in the general setting of an ARS.First we need some basic notions and notations.An object "x" in "A" is called reducible if there exist some other "y" in "A" and formula_16; otherwise it is called irreducible or a normal form.