$A, B$を任意の集合とするとき、$A \rightarrow B$への写像全部の集合を「$A$の上の$B$の**配置集合**」といい、$\mathfrak{F}(A, B)$または$B^A$で表す。 $A, B$をそれぞれ$m, n$個の元からなる有限集合とすれば、$\mathfrak{F}(A, B) = B^A$は$n^m$個の元を持つ集合となる