Category:Image of Subset under Mapping

From ProofWiki
Jump to navigation Jump to search

This category contains results about Image of Subset under Mapping.
Definitions specific to this category can be found in Definitions/Image of Subset under Mapping.

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

Let $X \subseteq S$ be a subset of $S$.

The image of $X$ (under $f$) is defined and denoted as:

$f \sqbrk X := \set {t \in T: \exists s \in X: \map f s = t}$

This category currently contains no pages or media.