generated at
部分項
ラムダ計算の部分項

subterm
項を集合と見たときの、部分集合みたいなやつ(雑)


定義 ref 『(理論)12 計算モデルの基礎理論』 p.74
x\in\mathcal{V}の部分項はx
(MN)の部分項は、Mの部分項、Nの部分項、(MN)それ自身
\lambda x.Mの部分項はMの部分項と\lambda x.Mそれ自身


真部分項
上の定義で、自分自身を含まない部分項