Confluence (abstract Rewriting)
In computer science, confluence is a property of rewriting systems, describing that terms in this system can be rewritten in more than one way, to yield the same result. This article describes the properties in the most abstract setting of an abstract rewriting system.
Read more about Confluence (abstract Rewriting): Motivating Example, General Case and Theory, Examples of Confluent Systems