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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | right-uniqueness |
property of binary relations |
|
