把词项（简称“项”）视为 抽象语法 中的有限语法树： 常量 $\text{true}$、$\text{false}$、$0$ 是叶子， $\text{succ}$、$\text{pred}$、$\text{iszero}$ 是一元构造， $\text{if}$ 有条件、$\text{then}$ 分支和 $\text{else}$ 分支三个有序子项．

词项的集合 花体(T) 是同时满足三条封闭条件的最小集合： 常量 $\text{true}$、$\text{false}$、$0$ 都属于 花体(T)； 若 t_(1) ∈ 花体(T)，则 $\text{succ }{𝑡}_1$、$\text{pred }{𝑡}_1$、$\text{iszero }{𝑡}_1$ 都属于 花体(T)； 若 t_(1), t_(2), t_(3) ∈ 花体(T)，则 if t_(1) then t_(2) else t_(3) ∈ 花体(T)．

“最小”的意思是：如果另一个集合 $𝑆$ 也满足这三条，那么 花体(T) ⊆ S． 因此 花体(T) 只含有限次应用生成规则所能得到的词项，没有其他元素； 这一限制称为最小性子句．