Types: Not Applicable
Examples: Not Applicable
Constructions: Not Applicable
Generalizations: Not Applicable

Properties: Inverse Image of Intersection, Inverse Image of Union
Sufficiencies: Not Applicable
Equivalences: Not Applicable
Justifications: Not Applicable

Inverse Image

Let be a function, and let be a subset of the Codomain of . Then the inverse image of under , denoted , consists of those elements such that .

Example: Let be the (noninvertible) mapping . The inverse image of under is :