added this comment after the definition:
So this is a concept with an attitude: While an abstract re-writing system is just a relation, calling this relation an abstract rewriting system indicates that one is interested in studying the behaviour of chains of related elements (thought of as successive stages of rewriting ), for instance to see if they are confluent.
Created this entry
]]>