((xS)K)It is not difficult to verify that:: X (X (X X)) =ηβ K and: X (X (X (X X))) =ηβ S.Since {K, S} is a basis, it follows that {X} is a basis too.
Комбинатором называется функция formula_1, которая удовлетворяет равенству:: formula_2,где formula_3 (formula_4) — некоторые функции, X — объект, построенный из функций применением аппликации.