1. 子集 (⊆)

如果集合A中的每一个元素都属于集合B，则称A是B的子集。记作 A ⊆ B（或 B ⊇ A）。

A ⊆ B (A包含于B)

2. 真子集 (⊂)

如果 A ⊆ B，且 B 中至少有一个元素不属于 A，则称 A 是 B 的真子集。记作 A ⊂ B。

3. 集合相等 (=)

如果 A ⊆ B 且 B ⊆ A，则称集合A与B相等。记作 A = B。

• 空集 ∅ 是任何集合的子集。

• 空集是任何非空集合的真子集。

• 任何一个集合都是它本身的子集，但不是真子集。