還元可能な項

各型 $A$ に対し、項の集合 $\mathrm{Red}_A$ を型の構成に関する帰納法で定める。

• 基本型 $o$ について $\mathrm{Red}_o=\{M\mid M \text{ は SN}\}$。
• $\mathrm{Red}_{A\to B}=\{M\mid \text{すべての } N\in\mathrm{Red}_A \text{ について } MN\in\mathrm{Red}_B\}$。