Category:One-to-Many Relations

From ProofWiki
Jump to navigation Jump to search

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

A relation $\RR \subseteq S \times T$ is one-to-many if and only if:

$\RR \subseteq S \times T: \forall y \in \Img \RR: \tuple {x_1, y} \in \RR \land \tuple {x_2, y} \in \RR \implies x_1 = x_2$


That is, every element of the image of $\RR$ is related to by exactly one element of its domain.

Subcategories

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

Pages in category "One-to-Many Relations"

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