With the η-reduction rule, λf.λx.(f x) is transformed into I. There are one-point bases from which every combinator can be composed extensionally equal to any lambda term.
Pravilom η-redukcije, λf.λx.(f x) je transformirana u I. Postoje baze s jednom točkom iz koje može biti komponiran bilo koji kombinator koji je ekstenzionalno jednak bilo kojem lambda terminu.