1.2 映射与Stirling数

记号 1 对于集合 \(X, Y\), 记 \[Y^X:=\{f: X \rightarrow Y\}, \]即从 \(X\) 到 \(Y\) 的映射构成的集合. 性质 2 对于集合 \(X, Y\), 成立 \(\left|Y^X\right|=|Y|^{|X|}\). # \(\left\{f