β基
β-redex
β可簡約項、簡約基、βリデックスともいう
$ (\lambda x.N)Mの形のラムダ抽象のこと
まだ簡約できる状態のもの
これ以上簡約できないところまで簡約しきったらそれを正規形と呼ぶ
正規形はβ基ではない
つまりラムダ抽象は、β基かβ正規形の2種類しかない、といえる
また、$ [x\to N]M のことをコントラクタム(contractum)と呼ぶ