Current Data About
left-uniqueness
| (P31) |
(Q3924032)
|
||||||
| (P1269) |
(Q54933429)
|
||||||
| (P1889) |
(Q54933381)
(Q54933376) |
||||||
| (P2534) |
\forall (x, y, z) \in X^2 \times Y,\quad x \mathcal{R} z \land y \mathcal{R} z \implies x=y
|
||||||
| (P6104) |
(Q8487137)
|
other details
| aliases |
left uniqueness left-uniqueness property property of left-uniqueness left uniqueness property property of left uniqueness injectiveness property of injectivity |
| description | property of binary relations |