| 子集 subset 集合论的一个重要概念。如果集a的任一元素x都是集b的元素，则称集a为集b的子集，用符号a⊆b(或b⊇a)表示，读作a包含于b(或b包含a)。如果a是b的子集，并且a、b不相等，则称a是b的真子集，用a⊂b表示，读作a真包含于b。如果a是b中满足性质p的元素所成之集，则用a=｛x∈blp(x)｝表示，这样的a就是b的一个子集。子集关系⊆应满足下述三种性质：(1)反射性：对于任何集a，a⊆a;(2)反对称性：对于任何集a、b，若a⊆b且b⊆a则a=b;(3)传递性：对于任何集a、b、c，若a⊆b且b⊆c则a⊆c。 |