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

in defining formula

${\displaystyle x}$

symbol represents

element

0 references

${\displaystyle y}$

symbol represents

element

0 references

${\displaystyle z}$

symbol represents

element

0 references

${\displaystyle X}$

symbol represents

set

0 references

${\displaystyle Y}$

symbol represents

set

0 references

${\displaystyle {\mathcal {R}}}$

symbol represents

binary relation

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

different from

left-uniqueness

0 references

right-totality

0 references

 

Sitelinks

Wikipedia(1 entry)

edit

• dewiki Rechtseindeutigkeit

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=2238688202"