Det er viktig å merke seg at ikke er en del av den rene lambdakalkylen, men er bare ment for gi navn til termer i metaspråket.