Desired property: determinacy of one-step evaluation relation

A desirable property of a Lambda calculus where each term always evaluates to the same term in a single step.