定理定理9.6.1 对有限集合A
     .
证明
  由Ak个元素组成的子集的数目是从n个元素中取k个的组合数
    
  A的有0个元素的子集只有
   .
  又因为
  当 时, 得
    .
  所以,

定理定理9.6.2 对有限集合AB