right-uniqueness (Q755): Difference between revisions
Jump to navigation
Jump to search
Created claim: instance of (P2): mathematical property (Q139) |
Changed claim: instance of (P2): mathematical property (Q139) |
||
| 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 |
|