A-B=A∩B的补集=A

A-B=A的充分必要条件是A包含于B的补集。

充分必要条件，又称充要条件，是数学中的一种关系形式，即如果能从命题p推出命题q，而且也能从命题q推出命题p，则称p是q的充分必要条件，且q也是p的充分必要条件。