Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q54933381)
Watch
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
In more languages
edit
Statements
instance of
mathematical property
of
binary relation
1 reference
stated in
Mathematical Foundations of Computational Engineering: A Handbook
page(s)
38
defining formula
∀
(
x
,
y
,
z
)
∈
X
×
Y
2
,
x
R
y
∧
x
R
z
⟹
y
=
z
{\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