right-uniqueness (Q755)

From Azupedia

Revision as of 14:24, 25 January 2023 by Fire (talk | contribs) (‎Created a new Item: right-uniqueness, property of binary relations)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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	right uniqueness right-unique property property of right-uniqueness right unique property property of right uniqueness functional property univalent property univalence

Statements

Sitelinks

⧼wikibase-sitelinks-mywikigroup⧽(0 entries)

Retrieved from "https://wiki.tiffa.net/w/index.php?title=Item:Q755&oldid=6398"