theorem BOOLE'37: :: BOOLE'37:

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

　これは以下の通りです。

$$X \cap Y \subseteq X$$

証明　

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

証明終了