# Category:Inverse Relations

This category contains results about Inverse Relations.

Let $\mathcal R \subseteq S \times T$ be a relation.

The **inverse relation to** (or **of**) $\mathcal R$ is defined as:

- $\mathcal R^{-1} := \left\{{\left({t, s}\right): \left({s, t}\right) \in \mathcal R}\right\}$

## Subcategories

This category has only the following subcategory.

### I

## Pages in category "Inverse Relations"

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

### I

- Image of Relation is Domain of Inverse Relation
- Intersection of Relation with Inverse is Symmetric Relation
- Inverse of Antireflexive Relation is Antireflexive
- Inverse of Antisymmetric Relation is Antisymmetric
- Inverse of Antitransitive Relation is Antitransitive
- Inverse of Asymmetric Relation is Asymmetric
- Inverse of Composite Relation
- Inverse of Inverse Relation
- Inverse of Many-to-One Relation is One-to-Many
- Inverse of Mapping is One-to-Many Relation
- Inverse of Non-Reflexive Relation is Non-Reflexive
- Inverse of Non-Symmetric Relation is Non-Symmetric
- Inverse of Non-Transitive Relation is Non-Transitive
- Inverse of Reflexive Relation is Reflexive
- Inverse of Right-Total is Left-Total
- Inverse of Subset of Relation is Subset of Inverse
- Inverse of Symmetric Relation is Symmetric
- Inverse of Transitive Relation is Transitive
- Inverse Relation Equal iff Subset
- Inverse Relation is Left and Right Inverse iff Bijection
- Inverse Relation Properties