$(X, +, \cdot, -, 0, 1)$をブール代数とする。 $X \text{はc.c.c.} :\Leftrightarrow \all A \subseteq \;\bracket{ \all x, y \in A \;\parenth{ x \nequ y \Rightarrow x \cdot y \equ 0 } \Rightarrow A \text{は高々加算} }$ $\text{c.c.c.}$とはcounta…

$(X, +, \cdot, -, 0, 1)$をブール代数とする。 $\phi \nequ A \subseteq X$とする。 $A$は$\text{filter}$ $:\Leftrightarrow$ $\left\{\begin{array}{@{}c@{}l@{}} (1) & 1 \in A \\ (2) & \all a, b \in A \;\; a \cdot b \in A \\ (3) & \all a \in A \;…