right-uniqueness (Q1416)
From MaRDI portal
property of binary relations
- right uniqueness
- right-unique property
- property of right-uniqueness
- right unique property
- property of right uniqueness
- functional property
- univalent property
- univalence
Language | Label | Description | Also known as |
---|---|---|---|
English | right-uniqueness |
property of binary relations |
|
Statements
Q54933381
0 references