In computer science,
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.