若 A 和 B 是集合，则 A 在 B 中的相对补集，或叫做 B 和 A 的集合论差，是这样一个集合，其元素属于 B，但不属于 A。
A 在 B 中的相对补集通常写作 B - A 。
形式上：
<math>B - A = { xin 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> 为无理数集合。