An object x in A is called reducible if there exist some other y in A and x \rightarrow y; otherwise it is called irreducible or a normal form.
One of the important problems that may be formulated in an ARS is the word problem: given x and y are they equivalent under \stackrel{*}{\leftrightarrow}?