| (1) | $\forall \, x \in X : \forall \, y, y' \in Y \, ((x, y), (x, y') \in f \quad \Rightarrow \quad y = y')$ (D358: Right-unique binary relation) |
| (2) | $\forall \, x \in X : \exists \, y \in Y : (x, y) \in f$ (D359: Left-total binary relation) |
| ▼ | Set of symbols |
| ▼ | Alphabet |
| ▼ | Deduction system |
| ▼ | Theory |
| ▼ | Zermelo-Fraenkel set theory |
| ▼ | Set |
| ▼ | Binary cartesian set product |
| ▼ | Binary relation |
| (1) | $\forall \, x \in X : \forall \, y, y' \in Y \, ((x, y), (x, y') \in f \quad \Rightarrow \quad y = y')$ (D358: Right-unique binary relation) |
| (2) | $\forall \, x \in X : \exists \, y \in Y : (x, y) \in f$ (D359: Left-total binary relation) |
| ▶ | D427: Isotone map |