【离散数学学习（集合论）】002：映射，抽屉原理

         定义2.1.1  设X和Y是两个非空集合，一个从X到Y的映射f是一个法则，根据f，对X中每个元素x都有Y中唯一确定的元素y与之对应。f给x规定的对应元素y称为x在f下的象，而x称为y的原象。X称为f的定义域。

         定义2.1.2  设X和Y是两个非空集合，一个从X到Y的映射是一个满足以下两个条件的X?Y的子集f：

 ———————————————————————————————————————————————————————————————————

—————————————————————————————————————（映射部分的）定理—————————————————————————

————————————————————————————————————————————————————————————————————

（二）

抽屉原理：如果把n+1个物体放到n个抽屉里，则必有一个抽屉里至少放了两个物体。

 https://zhuanlan.zhihu.com/p/339108528