【combinator】自由変数を含まないλ式のこと. 計算論を始めとしてλ式,λ計算を扱う理論において重要視されている.λ計算において対象をコンビネータのみに制限したものをコンビネータ論理と呼ぶこともある.