Image of Intersection under Relation

Theorem
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$.

Then:
 * $\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.

Also see

 * Image of Union under Relation
 * Preimage of Union under Relation
 * Preimage of Intersection under Relation

Also see

 * Image of Intersection under One-to-Many Relation, which shows that, for the general relation $\RR$, equality holds $\RR$ is one-to-many.