Комбинатор I

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

$I x = x$

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

$I \equiv SKK$

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

$I \equiv \lambda x.x$