Комбинатор K

Комбинатор K (канцеллятор) — один из комбинаторов в комбинаторной логике, чья комбинаторная характеристика выглядит следующим образом:

$K x y = x$

Входит во многие комбинаторные базисы, в первую очередь в базис S, K.

В λ-исчислении этот комбинатор выражается следующим образом:

$K \equiv \lambda xy.x$