设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∣