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
default for all languages
No label defined
No description defined
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
in defining formula
x
{\displaystyle x}
symbol represents
element
0 references
y
{\displaystyle y}
symbol represents
element
0 references
z
{\displaystyle z}
symbol represents
element
0 references
X
{\displaystyle X}
symbol represents
set
0 references
Y
{\displaystyle Y}
symbol represents
set
0 references
R
{\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
