Image of Intersection under Relation/General Result
Jump to navigation
Jump to search
Theorem
Let $S$ and $T$ be sets.
Let $\RR \subseteq S \times T$ be a relation.
Let $\powerset S$ be the power set of $S$.
Let $\mathbb S \subseteq \powerset S$.
Then:
- $\ds \RR \sqbrk {\bigcap \mathbb S} \subseteq \bigcap_{X \mathop \in \mathbb S} \RR \sqbrk X$
Proof
\(\ds \forall X \in \mathbb S: \, \) | \(\ds \bigcap \mathbb S\) | \(\subseteq\) | \(\ds X\) | Intersection is Subset: General Result | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds \forall X \in \mathbb S: \, \) | \(\ds \RR \sqbrk {\bigcap \mathbb S}\) | \(\subseteq\) | \(\ds \RR \sqbrk X\) | Image of Subset is Subset of Image | |||||||||
\(\ds \leadsto \ \ \) | \(\ds \RR \sqbrk {\bigcap \mathbb S}\) | \(\subseteq\) | \(\ds \bigcap_{X \mathop \in \mathbb S} \RR \sqbrk X\) | Intersection is Largest Subset: General Result |
$\blacksquare$