# Category:Inverse Mappings

This category contains results about Inverse Mappings.

Definitions specific to this category can be found in Definitions/Inverse Mappings.

Let $S$ and $T$ be sets.

Let $f: S \to T$ be a mapping.

Let $f^{-1} \subseteq T \times S$ be the inverse of $f$:

- $f^{-1} := \set {\tuple {t, s}: \map f s = t}$

Let $f^{-1}$ itself be a mapping:

- $\forall y \in T: \tuple {y, x_1} \in f^{-1} \land \tuple {y, x_2} \in f^{-1} \implies x_1 = x_2$

and

- $\forall y \in T: \exists x \in S: \tuple {y, x} \in f$

Then $f^{-1}$ is called the **inverse mapping of $f$**.

## Subcategories

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

### B

### E

### I

### L

### P

## Pages in category "Inverse Mappings"

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

### B

### C

### I

- Image of Element under Inverse Mapping
- Inverse Element of Bijection
- Inverse Element of Injection
- Inverse Mapping is Bijection
- Inverse Mapping is Unique
- Inverse of Bijection is Bijection
- Inverse of Composite Bijection
- Inverse of Identity Mapping
- Inverse of Injection is One-to-One Relation
- Inverse of Inverse of Bijection
- Inverse of Mapping is One-to-Many Relation
- Inverse of Mapping is Right-Total Relation
- Inverse of Surjection is Relation both Left-Total and Right-Total