Confluence (abstract rewriting)

The name confluence is inspired from geography, where it means the meeting of two bodies of water.

In computer science and mathematics, confluence is a property of rewriting systems, describing which terms in such a 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.