Category:Closedness under Mappings

This category contains results about Closedness under Mappings.
Definitions specific to this category can be found in Definitions/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$.