関数αはabstraction function(抽象化関数)と呼ばれ、"x" が "l" の元であるとき、α("x")が "l"′ の元となる。