补码（集合论）

在集合论，的补充的子集给定的设置是较大集合的“余数”。

正式而言，如果A类是的子集X（X）然后是的（相对）补语A类在里面X（X）是

${\显示样式X\设置减A=\{X\在X:X\不\在A\}.\，}中$

在集合论的某些版本中，假设一个“全集”是很常见的${\显示样式{\mathcal{U}}}$并且只关注宇宙中包含的集合。然后我们可以定义（绝对）补码

${\displaystyle{\bar{A}}={\mathcal{U}}\set-muse-A.，}$

互补与其他集合理论函数的关系如下所示德摩根定律:

${\显示样式{\上划线{A\cap B}}={\bar{A}}\杯{\bar}}；\，}$

$｛\displaystyle｛\overline｛A\cup B｝｝＝｛\bar｛A｝｝\cap｛\bar｛B｝｝。\，｝$