Image of Intersection under Mapping/Proof 2

Proof
As $f$, being a mapping, is also a relation, we can apply Image of Intersection under Relation:


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