以上のような基礎の準備は、通常は、他のbookに書いておいてそれをincludeすることで実行されます。
このbookでは \(\cup\) の冪等性 を目標とします。
\(\mathbb{W}\)(ss,s) … \(\cup\)
∪. … \(X \cup Y = \{ x \mid x \in X \mathbin{\rm o\!r} x \in Y \}\)
\(\cup\) の冪等性
\(X \cup X = X\) \(\blacktriangleleft\) \(\mathbb{W}.\)