right-uniqueness (Q755): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: right-uniqueness, property of binary relations |
Changed claim: instance of (P2): mathematical property (Q139) |
||
| (One intermediate revision by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: mathematical property / rank | |||
Normal rank | |||
| Property / instance of: mathematical property / qualifier | |||
Latest revision as of 14:25, 25 January 2023
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 |
|