詞條：子集

zǐ jí

集合論的基本概念之一。如果集a的任一元素都是集b的元素，則稱集a為集b的一個子集，記作a{c=}b或b{=>}a，讀作“a包含于b”或“b包含a”。如果a是b的子集，且b中至少含有一個不屬于a的元素，則稱a是b的“真子集”，記作a?b或b?a。任一集合都是它本身的子集，空集是任何集合的子集。