组合数学中关于计数方法的一个基本原理。它可表示为：具有性质A或B的元素个数等于具有性质A的元素个数与具有性质B的元素个数之和，减去同时具有性质A和B的元素个数。还可推广到多个集合的情形。