2021-03-31から1日間の記事一覧
下図の「1→2→3」の順で議論を進めていく(定理の番号に対応しているわけではない): ${\vcenter{\def\labelstyle{\textstyle} \begin{xy}*[white]\xymatrix@C=30pt@R=15pt{ ブール代数 \ar@1@<1ex> `d/2pt[dr]_{3} `r/2pt[r] [r] \ar@1{^{(}->} [r] & 完備ブー…
下図の「1→2→3」の順で議論を進めていく(定理の番号に対応しているわけではない): ${\vcenter{\def\labelstyle{\textstyle} \begin{xy}*[white]\xymatrix@C=30pt@R=15pt{ ブール代数 \ar@1@<1ex> `d/2pt[dr]_{3} `r/2pt[r] [r] \ar@1{^{(}->} [r] & 完備ブー…