β可簡約項、簡約基、βリデックスともいう

(\lambda x.N)Mの形のラムダ抽象のこと

まだ簡約できる状態のもの

これ以上簡約できないところまで簡約しきったらそれを正規形と呼ぶ

正規形はβ基ではない

つまりラムダ抽象は、β基かβ正規形の2種類しかない、といえる

また、[x\to N]Mのことをコントラクタム(contractum)と呼ぶ