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