表示为formula_5。由于集合也是一个对象，因此上述关系也可以用在集合和集合的关系。另外一种二个集合之间的关系，称为包含关系。若集合formula_2中的所有元素都是集合formula_7中的元素，则称集合formula_2为formula_7的子集，符号为formula_10。例如formula_11是formula_12的子集，但formula_13就不是formula_14的子集。依照定义，任一个集合也是本身的子集，不考虑本身的子集称为真子集。集合formula_2为集合formula_7的真