再内基とも言う

部分項としてβ基を持たないβ基のことをβ正規形と呼ぶ

β正規形は持つなら一意

M_1{}_\beta\xleftarrow{\ast}M\xrightarrow{\ast}_\beta M_2ならばで、P,Qが共にβ正規形ならば、P\equiv Q

β正規形を持たないラムダ抽象もある

ex. Ω-コンビネータ

例

(\lambda xy.x)(Iu)(I(Iv))の部分項のうちのIuやIv