Subset Relation is Compatible with Subset Product/Corollary 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {S, \circ}$ be a magma.

Let $\struct {\powerset S, \circ_\PP}$ be the power structure of $\struct {S, \circ}$.


Let $A, B, C, D \in \powerset S$.

Let $A \subseteq B$ and $C \subseteq D$.


Then:

$A \circ_\PP C \subseteq B \circ_\PP D$


Proof

By Subset Relation is Compatible with Subset Product, $\subseteq$ is compatible with $\circ_\PP$.

By Subset Relation is Transitive, $\subseteq$ is transitive.

Thus the theorem holds by Operating on Transitive Relationships Compatible with Operation.

$\blacksquare$