Category:Definitions/Closedness under Mappings

This category contains definitions related to Closedness under Mappings.
Related results can be found in Category:Closedness under Mappings.

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

Let $S' \subseteq S$.

Then $S'$ is closed under $f$ if and only if:

$f \sqbrk {S'} \subseteq S'$

where $f \sqbrk {S'}$ is the image of $S'$ under $f$.