BOOLE'1

BOOLE'1: X meets Y iff ex x st x in X & x in Y by XBOOLE_0:3;

　 これは，殆ど，説明の必要がないでしょうが $XBOOLE\_0:3$から，

$$X \ meets \ Y \Leftrightarrow (\exists x)( x \in X \ and \ x \in Y)$$