Current Data About
right-uniqueness
| (P31) |
(Q3924032)
|
||||||||||||
| (P1889) |
(Q54933380)
(Q54933377) |
||||||||||||
| (P2534) |
\forall (x, y, z) \in X \times Y^2,\quad x \mathcal{R} y \land x \mathcal{R} z \implies y=z
|
||||||||||||
| (P6104) |
(Q8487137)
|
||||||||||||
| (P7235) |
x
y
z
X
Y
\mathcal{R}
|
other details
| aliases |
right uniqueness right-unique property property of right-uniqueness right unique property property of right uniqueness functional property univalent property univalence |
| description | property of binary relations |