集合间的基本关系洋葱
集合间的基本关系主要包括以下几种:
包含关系
如果集合 $A$ 中的任意一个元素都是集合 $B$ 中的元素,那么集合 $A$ 包含于集合 $B$,或集合 $B$ 包含集合 $A$。这种关系记作 $A \subseteq B$ 或 $B \supseteq A$。
真子集关系
如果集合 $A$ 是集合 $B$ 的子集,并且集合 $A$ 不等于集合 $B$(即存在至少一个元素属于 $B$ 但不属于 $A$),那么集合 $A$ 是集合 $B$ 的真子集。这种关系记作 $A \subset B$ 或 $B \supsetneqq A$。
相等关系
如果集合 $A$ 的每一个元素都是集合 $B$ 的元素,同时集合 $B$ 的每一个元素都是集合 $A$ 的元素,那么集合 $A$ 等于集合 $B$。这种关系记作 $A = B$。
空集关系
空集(记作 $\varnothing$)是任何集合的子集,包括它自己。同时,空集是任何非空集合的真子集。
这些关系是集合论中的基础概念,对于理解和操作集合至关重要。