⒈ 集合论的基本概念之一。如果集a的任一元素都是集b的元素，则称集a为集b的一个子集，记作ab或ba，读作“a包含于b”或“b包含a”。如果a是b的子集，且b中至少含有一个不属于a的元素，则称a是b的“真子集”，记作ab或ba。任一集合都是它本身的子集，空集是任何集合的子集。