m要素のセットAとn要素のセットB、 m <= n とします。単射関数 f: A -> B の数を決定します。基本計数原理で正当化します。