Functoriality. The assignments $U,V,\webleft (U,V\webright )\mapsto U\cup V$ define functors
\[ \begin{array}{ccc} U\cup -\colon \mkern -15mu & \webleft (\mathcal{P}\webleft (X\webright ),\subset \webright ) \mkern -17.5mu& {}\mathbin {\to }\webleft (\mathcal{P}\webleft (X\webright ),\subset \webright ),\\ -\cup V\colon \mkern -15mu & \webleft (\mathcal{P}\webleft (X\webright ),\subset \webright ) \mkern -17.5mu& {}\mathbin {\to }\webleft (\mathcal{P}\webleft (X\webright ),\subset \webright ),\\ -_{1}\cup -_{2}\colon \mkern -15mu & \webleft (\mathcal{P}\webleft (X\webright )\times \mathcal{P}\webleft (X\webright ),\subset \times \subset \webright ) \mkern -17.5mu& {}\mathbin {\to }\webleft (\mathcal{P}\webleft (X\webright ),\subset \webright ). \end{array} \]
In particular, the following statements hold for each $U,V,A,B\in \mathcal{P}\webleft (X\webright )$:
-
If $U\subset A$, then $U\cup V\subset A\cup V$.
-
If $V\subset B$, then $U\cup V\subset U\cup B$.
-
If $U\subset A$ and $V\subset B$, then $U\cup V\subset A\cup B$.