设s为有限集，ai为s的子集，i=1，2，…n，则╫c下标sa1∩c下标sa2∩…∩c下标san╫=╫s╫-Σ（n在上，i=1在下）╫ai╫+Σ（1≤i<j≤n在下）╫ai∩aj╫-Σ（1≤i<j<k≤n在下）╫ai∩aj∩ak╫+…+(-1)的n次*╫a1∩a2∩…∩an╫