Definition:Inverse Image Mapping

Definition
Let $S$ and $T$ be sets.

Also see

 * Definition:Preimage of Subset under Relation
 * Definition:Preimage of Subset under Mapping


 * Definition:Mapping Induced on Powerset


 * Mapping Induced on Power Set is Mapping