mula_1"和"formula_2"两个集合，如果"formula_1"中的每个元素都是"formula_2"的元素，则：如果"formula_1"是formula_2的子集，但formula_1不等于formula_2（即formula_2中至少存在一个元素不在formula_1集合中），则：
符号.符号formula_41表示任何子集关系，符号formula_42表示真子集关系。formula_43也是一个很常见的符号，但其含义容易混淆。有人用formula_43和f