# Category:One-to-One Relations

Jump to navigation
Jump to search

This category contains results about **One-to-One Relations**.

A relation $\RR \subseteq S \times T$ is **one-to-one** if it is both many-to-one and one-to-many.

That is, every element of the domain of $\RR$ relates to no more than one element of its codomain, and every element of the image is related to by exactly one element of its domain.

## Subcategories

This category has only the following subcategory.