Current Data About
bi-unique relation
| (P279) |
(Q54933429)
(Q1756942)
|
||||||||
| (P1552) |
(Q54933382)
|
||||||||
| (P2534) |
(\forall x \in X,\ y \in Y,\ z \in Y (x \mathcal{R} y \land x \mathcal{R} z \implies y=z)) \land (\forall x \in X, \ \forall y \in Y, \ \forall z \in Y (x \mathcal{R} y \land z \mathcal{R} y \implies x=z))
|
||||||||
| (P6104) |
(Q8487137)
|
other details
| aliases |
biunique relation |
| description | binary relation that is both left-unique and right-unique |