section_heading: η-konverzija
paragraph_text: Postoji i treće pravilo, eta-konverzija, koje može biti dodano ovim dvama kako bi se oformila nova relacija ekvivalencije. Eta-konverzija izražuje ideju ekstenzionalnosti (opsegovnosti), koja je u ovom konstekstu ta da su dvije funkcije jednake ako i samo ako daju isti rezultat za sve argumente. Eta-konverzija pretvara između <code>&nbsp;λ x. f x&nbsp;</code> i <code>&nbsp;f&nbsp;</code> kadgod se <code>x</code> ne pojavljuje slobodno u <code>f</code>. Ovo se može shvatiti kao istovjetno ekstenzionalnosti kako slijedi: