Category:Preimages

From ProofWiki
Jump to navigation Jump to search

This category contains results about Preimage in the context of Set Theory.
Definitions specific to this category can be found in Definitions/Preimages.


The preimage of $f$ is defined as:

$\Preimg f := \set {s \in S: \exists t \in T: f \paren s = t}$

That is:

$\Preimg f := f^{-1} \sqbrk T$

where $f^{-1} \sqbrk T$ is the image of $T$ under $f^{-1}$.


In this context, $f^{-1} \subseteq T \times S$ is the the inverse of $f$.

It is a relation but not necessarily itself a mapping.

Also see

Subcategories

This category has the following 2 subcategories, out of 2 total.

E

P