把项视为 [约定] 抽象语法 中的有限语法树，常量 $\text{true}$、$\text{false}$、$0$ 是叶子，$\text{succ}$、$\text{pred}$、$\text{iszero}$ 是一元构造，$\text{if}$ 有条件、then 分支和 else 分支三个有序子项。

项的集合 是满足下面三条封闭条件（closure conditions）的最小（least）集合：

1. ，，；
2. 若 ，则 $\text{succ }{𝑡}_1$、$\text{pred }{𝑡}_1$、$\text{iszero }{𝑡}_1$ 都属于 ；

3. 若 ，则 。

   “最小”的意思是：如果另一个集合 $𝑆$ 也满足这三条，那么 。