right-uniqueness (Q54933381)

From Wikidata

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

edit

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

instance of

mathematical property

of

binary relation

1 reference

stated in

Mathematical Foundations of Computational Engineering: A Handbook

page(s)

38

defining formula

${\displaystyle \forall (x,y,z)\in X\times Y^{2},\quad x{\mathcal {R}}y\land x{\mathcal {R}}z\implies y=z}$

1 reference

stated in

Mathematical Foundations of Computational Engineering: A Handbook

page(s)

38

maintained by WikiProject

WikiProject Mathematics

0 references

different from

left-uniqueness

0 references

right-totality

0 references

 

Sitelinks

Wikipedia(0 entries)

edit

Wikibooks(0 entries)

edit

Wikinews(0 entries)

edit

Wikiquote(0 entries)

edit

Wikisource(0 entries)

edit

Wikiversity(0 entries)

edit

Wikivoyage(0 entries)

edit

Wiktionary(0 entries)

edit

Multilingual sites(0 entries)

edit

Retrieved from "https://www.wikidata.org/w/index.php?title=Q54933381&oldid=1960938075"