# 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$.

## Subcategories

This category has only the following subcategory.

## Pages in category "Closedness under Mappings"

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