$(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.}$とはcountable chain condition(加算連鎖条件)のことである。 $(X, \leq)$を順序集合とする。 $X \text{はc.c.c.} :\Lef…