# Category:Images

Jump to navigation
Jump to search

This category contains results about **Image** in the context of **Set Theory**.

Definitions specific to this category can be found in Definitions/Images.

The **image** of a mapping $f: S \to T$ is the set:

- $\Img f = \set {t \in T: \exists s \in S: \map f s = t}$

That is, it is the set of values taken by $f$.

## Also see

## Subcategories

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

### D

### E

### I

- Image of Subset under Mapping (empty)
- Image of Union under Mapping (5 P)
- Inverse Image Mappings (14 P)

## Pages in category "Images"

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

### C

### I

- Image is Subset of Codomain/Corollary 2
- Image is Subset of Codomain/Corollary 3
- Image of Class under Mapping is Image of Restriction of Mapping to Class
- Image of Countable Set under Mapping is Countable
- Image of Domain of Mapping is Image Set
- Image of Doubleton under Mapping
- Image of Empty Set is Empty Set/Corollary 1
- Image of Intersection under Mapping
- Image of Inverse Image
- Image of Mapping from Finite Set is Finite
- Image of Set Difference under Mapping
- Image of Set under Mapping is Set iff Restriction is Set
- Image of Singleton under Mapping
- Image of Subset under Mapping equals Union of Images of Elements
- Image of Subset under Mapping is Subset of Image
- Image of Union under Mapping
- Image Preserves Subsets
- Intersection of Image with Subset of Codomain