Convergence (logic)

Critical pair (logic)

normal form (abstract rewriting)

image confluence

define confluence

wikipedia confluence

weblio confluence

kotobank confluence

jisho confluence