Category:Definitions/Preimage of Subset under Mapping

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Preimage of Subset under Mapping.
Related results can be found in Category:Preimage of Subset under Mapping.

Let $Y \subseteq T$.

The preimage of $Y$ under $f$ is defined as:

$f^{-1} \sqbrk Y := \set {s \in S: \exists t \in Y: \map f s = t}$

That is, the preimage of $Y$ under $f$ is the image of $Y$ under $f^{-1}$, where $f^{-1}$ can be considered as a relation.

Pages in category "Definitions/Preimage of Subset under Mapping"

The following 4 pages are in this category, out of 4 total.