配对原理:设A,B是有限集,(1)若映射f是A到B'(∩)B的一一映射,则|A|≤|B|.(2)若映射f是A'(∩)A到B的一一映射,则|A|≥|B|.......