Union with Superset is Superset/Proof 2

Proof

 * : Appendix $\text{A}.2$: Theorem $\text{A}.11$