Конфлюентность

Also known as Church–Rosser property, Church–Rosser

Конфлюентность — если a может за некоторое число шагов редуцироваться как в b, так и в c, то существует элемент d, в который могут редуцироваться оба b и c.