对 词项的集合 中的项， 采用 树的基本术语 的树术语． 根节点的每个孩子所对应的整棵子树，称为它的直接子项． 常量 $\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$．

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