对 [定义] 项的集合 中的项，采用 [定义] 树的基本术语 的树术语。根节点的每个孩子所对应的整棵子树，称为它的直接子项（immediate subterm）。具体地：

• $\text{true}$、$\text{false}$、$0$ 没有直接子项；
• $\text{succ }{𝑡}_1$、$\text{pred }{𝑡}_1$、$\text{iszero }{𝑡}_1$ 的唯一直接子项是 ${𝑡}_1$；
• $\text{if }{𝑡}_1\text{ then }{𝑡}_2\text{ else }{𝑡}_3$ 的三个直接子项按顺序是 ${𝑡}_1$、${𝑡}_2$、${𝑡}_3$。

沿着“取直接子项”走一步或多步得到的项，称为真子项（proper subterm）。例如 $\text{pred }\left(\text{succ }0\right)$ 的直接子项只有 $\text{succ }0$，$0$ 也是它的真子项，但不是直接子项；整项本身不是自己的真子项。同一文本可以出现在树的不同位置，谈子项时还要看它所在的位置。