FSV2, FSUZ_Lightfoot_02

介绍

集合是一种代表无序、互异对象的结构。

符号

用变量 S、T、U 代表集合，可以列出（{a, b, c}）也可以用符号表示（{x | x 是整数且 x > 0 且 x < 5}）。

自然数集 N、整数集 Z、实数集 R。

无穷集合有不同的大小。

$\varnothing = \{\} = \{x|False\}$

$\neg\exist x: x \in\varnothing$

iff 含有相同元素。

真（proper、strict）子集：$S\subset T$，即 S 是 T 的子集（$S\subseteq T$）但 T 不是 S 的子集（ $T\not\subseteq S$）。

势：集合里不同的元素个数。