Category:Image of Intersection under Relation

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Image of Intersection under Relation:

Let $S$ and $T$ be sets.

Let $\RR \subseteq S \times T$ be a relation.

Let $S_1$ and $S_2$ be subsets of $S$.


$\RR \sqbrk {S_1 \cap S_2} \subseteq \RR \sqbrk {S_1} \cap \RR \sqbrk {S_2}$

That is, the image of the intersection of subsets of $S$ is a subset of the intersection of their images.

Pages in category "Image of Intersection under Relation"

The following 3 pages are in this category, out of 3 total.