集类和广义交/并¶

2024/11/15

集类¶

若一个集合的所有元素都是集合，则称该集合为集合族/集合的集合。比如幂集，定义为集合 \(A\) 全部子集构成的集合，记为 \(\mathscr{P}(A)\)，是集合族。

在通常的数学讨论中，集类和集合族是等价的。

集类是由若干集合构成的，集类的元素是集合。

\(\mathscr{B}\) 的元素是集合，\(\bigcup \mathscr{B}\) 的元素是 \(B\) 中的元素

\(\mathscr{B}\) 不为 \(\varnothing\) 才能定义广义交