Confluence

Confluence: In term rewriting, if we can find a common term $s$ that can be reached both from $t_1$ and $t_2$ by rule application, then we say that terms $t_1$ and $t_2$ are confluent.

Baader, Franz, and Tobias Nipkow. Term rewriting and all that. Cambridge university press, 1998.