Confluence

A property of a rewriting or reduction system stating that whenever a term can be reduced by two (possibly different) sequences to terms s and t, there exists a term u to which both s and t can further reduce (i.e., s ↓ u and t ↓ u). Confluence is often called the Church–Rosser property.