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