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