若 A 和 B 是集合，则 A 在 B 中的相对补集，或叫做 B 和 A 的集合论差，是这样一个集合，其元素属于 B，但不属于 A。

A 在 B 中的相对补集通常写作 B - A 。

形式上：

<math>B - A = \\{ x\\in B \\, | \\, x \ot \\in A \\} </math>

例如：

{1,2,3} - {2,3,4}={1}

{2,3,4} - {1,2,3}={4}

若 <math>\\mathbb{R}</math> 是实数集合，<math>\\mathbb{Q}</math> 是有理数集合，则 <math> \\mathbb{R}-\\mathbb{Q}</math> 为无理数集合。