Direct Image of Inverse Image of Direct Image equals Direct Image Mapping

Theorem
Let $f: S \to T$ be a mapping.

Let:
 * $f^\to: \powerset S \to \powerset T$ denote the direct image mapping of $f$
 * $f^\gets: \powerset T \to \powerset S$ denote the inverse image mapping of $f$

where $\powerset S$ denotes the power set of $S$.

Then:
 * $f^\to \circ f^\gets \circ f^\to = f^\to$

where $\circ$ denotes composition of mappings.

Proof
Thus we have:


 * $\forall A \in \powerset S: \map {f^\to} A \subseteq \map {\paren {f^\to \circ f^\gets \circ f^\to} } A \subseteq \map {f^\to} A$

and the result follows.

Also see

 * Inverse Image of Direct Image of Inverse Image equals Inverse Image Mapping