Image of Subset under Composite Relation

Theorem
Let $\RR_1 \subseteq S_1 \times T_1$ and $\RR_2 \subseteq S_2 \times T_2$ be relations.

Let $\RR_2 \circ \RR_1 \subseteq S_1 \times T_2$ be the composition of $\RR_1$ and $\RR_2$.

Let $A \subseteq S_1$.

Then:
 * $\RR_2 \sqbrk {\RR_1 \sqbrk A \cap S_2} = \paren{\RR_2 \circ \RR_1} \sqbrk A$

Proof
We have:

Also see

 * User:Leigh.Samphier/Topology/Image of Element under Composite Relation


 * User:Leigh.Samphier/Topology/Image of Subset under Composite Relation with Common Codomain and Domain


 * User:Leigh.Samphier/Topology/Image of Element under Composite Relation with Common Codomain and Domain