CARD是国家教育部首批确定与建设,并受教育部指导的国家人文社科重点研究基地,是直属浙江大学的一个跨学科的、相对实体运作、开放性的研究机构。同时也是国家“985”第二期工程人文社会科学A类创新基地。对于有限集,用card(*)表示集合中元素的个数,例如,如果A、B都是有限集,则有 card(A∪B)=card(A)+card(B)-card(A∩B)。 card(A∪B∪C)=card(A)+card(B)+card(C)—card(A∩B)—card(B∩C)—card(C∩A)+card(A∩B∩C)。 card(A∪B∪C∪D)=card(A)+card(B)+card(C)+card(D)—card(A∩B)—card(A∩C)—card(A∩D)—card(B∩C)—card(B∩D)—card(C∩D)+card(A∩B∩C)+card(A∩B∩D)+card(A∩C∩D)+card(B∩C∩D)—card(A∩B∩C∩D)。