 Despite its simplicity, an ARS is sufficient to describe important properties of rewriting systems like normal forms, termination, and various notions of confluence.Historically, there have been several formalizations of rewriting in an abstract setting, each with its idiosyncrasies.This is due in part to the fact that some notions are equivalent, see below in this article.