2021-04-15から1日間の記事一覧
$(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)$をブール代数とする。 $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…