# Category:Composite Mappings

This category contains results about Composite Mappings.

Let $f_1: S_1 \to S_2$ and $f_2: S_2 \to S_3$ be mappings such that the domain of $f_2$ is the same set as the codomain of $f_1$.

Then the **composite of $f_1$ and $f_2$** is defined and denoted as:

- $f_2 \circ f_1 := \set {\tuple {x, z} \in S_1 \times S_3: \exists y \in S_2: \tuple {x, y} \in f_1 \land \tuple {y, z} \in f_2}$

That is, the **composite mapping** $f_2 \circ f_1$ is defined as:

- $\forall x \in S_1: \paren {f_2 \circ f_1} \paren x := f_2 \paren {f_1 \paren x}$

## Subcategories

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

### C

### E

### I

### P

## Pages in category "Composite Mappings"

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

### C

- Composite Mapping is Mapping
- Composite of Bijections is Bijection
- Composite of Continuous Mappings at Point between Metric Spaces is Continuous at Point
- Composite of Continuous Mappings between Metric Spaces is Continuous
- Composite of Continuous Mappings is Continuous
- Composite of Continuous Mappings is Continuous/Corollary
- Composite of Injections is Injection
- Composite of Inverse of Mapping with Mapping
- Composite of Mapping with Inverse
- Composite of Surjection on Injection is not necessarily Either
- Composite of Surjections is Surjection
- Composition of Commuting Idempotent Mappings is Idempotent
- Composition of Idempotent Mappings
- Composition of Mapping with Inclusion is Restriction
- Composition of Mappings Induced by Relation
- Composition of Mappings is Associative
- Composition of Mappings is Composition of Relations
- Composition of Mappings is not Commutative
- Composition of Measurable Mappings is Measurable
- Composition of Repeated Compositions of Injections
- Composition of Right Inverse with Mapping is Idempotent
- Condition for Composite Mapping on Left
- Condition for Composite Mapping on Right
- Continuity of Composite with Inclusion
- Continuity of Composite with Inclusion/Inclusion on Mapping
- Continuity of Composite with Inclusion/Mapping on Inclusion
- Continuity of Composite with Inclusion/Uniqueness of Induced Topology