la_2的元素，则有：所有集合"formula_2"都是其本身的子集。不等于"formula_2"的"formula_2"的子集称为真子集。若"formula_1"是"formula_2"的真子集，则写作formula_18。"是……的子集"的关系称为包含。
定义.假设有"formula_1"和"formula_2"两个集合，如果"formula_1"中的每个元素都是"formula_2"的元素，则：如果"formula_1"是formula_2的子集，但formul