theorem BOOLE'31: :: BOOLE'31:

theorem BOOLE'31: :: BOOLE'31:
  X c= X \/ Y
proof
  let x;
  thus thesis by XBOOLE_0:def 2;
end;

　これは以下の通りです。

$$X \subseteq X \cup Y$$

証明

$$\begin{eqnarray*}　 &&xを任意にとると，XBOOLE\_0:def 2により，\\ &&x \in X \Rightarrow x \in X ~or~ x \in Y\\ \end{eqnarray*}$$

証明終了