T may be defined as follows: T => x T => (T T) T => (K T) (if x does not occur free in E) T => I T => T] (if x occurs free in E) T => (S T T) (if x occurs free in E₁ or E₂) This process is also known as abstraction elimination.
T se može definirati na sljedeći način: T => V T => (T T) T => (K T) (ako x nije slobodan u E) T => I T => T] (ako je x slobodan u E) T => (S T T) Ovaj je proces također poznat kao eliminacija apstrakcije.