A ⊇ B -> 超集:A包含B的所有元素,或更多 A ⊃ B -> 真超集:A包含B的所有元素,并且还有额外的元素 例如: A ⊇ B -> {1, 2, 3} ⊇ {1, 2, 3} A ⊃ B -> {1, 2, 3, 4} ⊃ {1, 2, 3}