离散数学:证明非和且构成一个功能完整的集合。