| 补集 complement;complementary set 亦称“余集”。集合论的一个基本概念。如设a是全集X中的一个子集，则X中所有不属于a的元素所成之集称为a的补集，用a′(或ac，Ca)表示。补集运算“，”应满足下述性质：(1)∅′=X，X′=∅;(2)对于X的任何子集a，a∪a′=X，a∩a′=∅;(3)对于X的任何子集a，a″=(a′)′=a;(4)对于X的任何子集a、b，a⊆b的充要条件是b′⊆a′;(5)对于X的任何子集a、b，(a∪b)′=a′∩b′，(a∩b)′=a′∪b′。上述第五条性质称为德·摩根定律。它还可以推广到任意集族上去，若P是一个一元谓词，则P的外延就是P的外延的补集。 |