$\alpha\subset\beta \rightarrow \alpha\cup(\beta -
\alpha)$