。若"formula_1"是"formula_2"的真子集，则写作formula_18。"是……的子集"的关系称为包含。
定义.假设有"formula_1"和"formula_2"两个集合，如果"formula_1"中的每个元素都是"formula_2"的元素，则：如果"formula_1"是formula_2的子集，但formula_1不等于formula_2（即formula_2中至少存在一个元素不在formula_1集合中），则：
符号.符号