# Category:Mapping Theory

Jump to navigation
Jump to search

This category contains results about Mapping Theory.

Definitions specific to this category can be found in Definitions/Mapping Theory.

**Mapping theory** is the subfield of set theory concerned with the properties of mappings.

## Subcategories

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

### B

### C

### D

### E

### F

### G

### H

### I

### L

### M

### N

### O

### P

### Q

### R

### S

### T

### U

### W

## Pages in category "Mapping Theory"

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

### C

- Cantor's Diagonal Argument
- Cardinality of Extensions of Function on Subset of Finite Set
- Cardinality of Image of Mapping not greater than Cardinality of Domain
- Cardinality of Image of Set not greater than Cardinality of Set
- Cardinality of Mapping
- Cardinality of Set of All Mappings
- Cardinality of Set of All Mappings from Empty Set
- Cardinality of Set of All Mappings to Empty Set
- Complement of Preimage equals Preimage of Complement
- Composition of Commuting Idempotent Mappings is Idempotent
- Composition of Inflationary and Idempotent Mappings
- Condition for Agreement of Family of Mappings

### D

### E

### F

### I

- Image is Subset of Codomain/Corollary 2
- Image is Subset of Codomain/Corollary 3
- Image of Countable Set under Mapping is Countable
- Image of Domain of Mapping is Image Set
- Image of Empty Set is Empty Set/Corollary
- Image of Intersection under Mapping
- Image of Intersection under Mapping/Family of Sets
- Image of Intersection under Mapping/General Result
- Image of Inverse Image
- Image of Mapping from Finite Set is Finite
- Image of Pair under Mapping
- Image of Set Difference under Mapping
- 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 Subset under Relation is Subset of Image/Corollary 1
- Image of Union under Mapping
- Image Preserves Subsets
- Inductive Definition of Sequence
- Intersection of Image with Subset of Codomain
- Isomorphism to Closed Interval

### M

### P

### R

### S

- Second Principle of Recursive Definition
- Set of all Self-Maps is Monoid
- Set of All Self-Maps is Semigroup
- Set of Mappings which map to Same Element induces Equivalence Relation
- Strictly Monotone Mapping is Monotone
- Structure Induced by Group Operation is Group
- Subset Maps to Subset
- Subset of Set with Propositional Function
- Sum of Positive and Negative Parts