射は、順序対をへ写す評価写像(evaluation)に他ならない。