为 的一个划分, 当且仅当
\pi \subseteq P(A) \\ \bigcup \pi = A \\ \forall x \forall y (x, y \in \pi \land x \neq y \to x \cap y = \varnothing) \end{align}$$ 此时 $\forall x \in \pi$, $x$ 为 $A$ 的一个划分块.1分钟阅读
π 为 A 的一个划分, 当且仅当
\pi \subseteq P(A) \\ \bigcup \pi = A \\ \forall x \forall y (x, y \in \pi \land x \neq y \to x \cap y = \varnothing) \end{align}$$ 此时 $\forall x \in \pi$, $x$ 为 $A$ 的一个划分块.