在一组物体中，如果物体的数量多于抽屉的数量，那么必然会有至少一个抽屉放了多于一个物体。结定一个集合A，设全保为U。那么A的元素个数等于U中的元素个数减去A中的元素个数。