这里基于 词项的集合 中的项与 一步规约 定义的关系 $⟶$，约定箭头的读法．

$𝑡⟶{𝑡}^{\prime }$ 读作“$𝑡$ 一步规约到 ${𝑡}^{\prime }$”，也可读作“从状态 $𝑡$ 转移一步到状态 ${𝑡}^{\prime }$”． 它是关于转移的判断，断言这对词项属于所定义的关系； 判断成立，当且仅当规则能给出有限推导． 例如 $\text{pred }0⟶0$ 成立，$0⟶\text{ pred }0$ 不成立．

箭头有方向，左边是规约前的项，右边是规约后的项． $𝑡⟶{𝑡}^{\prime }$ 只陈述两项满足这一关系，不同于函数调用或原地修改 $𝑡$ 的赋值． 这个记号本身不要求后继唯一；唯一性要由 确定性 另行证明． 带上星号的 ${⟶}^{\ast }$ 读作“多步规约到”，含义由 多步规约 给出．