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