Church-Rosser property

noun1

1. •
   The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.