集合論 2023年8月11日 互いに素な集合と対角集合の関係 \[ A\cap B=\emptyset\Leftrightarrow\left(A\times B\right)\cap\Delta_{X}=\emptyset \]
集合論 2023年8月10日 対角集合の定義 \[ \Delta_{X}=\left\{ \left(x,y\right)\in X\times X;x=y\right\} \subseteq X^{2} \]