Базис S, K, I

Базис S, K, I — расширение традиционного комбинаторного базиса S, K при помощи добавления в него комбинатора тождества I. Используется для уменьшения количества базовых комбинаторов в выражениях оных через базовые.