Preimage of Union under Mapping/Family of Sets/Proof 1

Proof
As $f$, being a mapping, is also a relation, we can apply Preimage of Union under Relation: Family of Sets:


 * $\ds \RR^{-1} \sqbrk {\bigcup_{i \mathop \in I} T_i} = \bigcup_{i \mathop \in I} \RR^{-1} \sqbrk {T_i}$

where $\RR^{-1} \sqbrk {T_i}$ denotes the preimage of $T_i$ under $\RR^{-1}$.