| rdfs:label |
"right-uniqueness"@en
|
|
skos:alt |
"functional property"@en
"property of right uniqueness"@en
"property of right-uniqueness"@en
"right unique property"@en
"right uniqueness"@en
"right-unique property"@en
"univalence"@en
"univalent property"@en
|
| schema:description |
"property of binary relations"@en
|
|
schema:date |
"2025-11-05T21:31:10+00:00"^^xsd:dateTime |
| schema:version | 2426218203 |
| wikibase:identifiers | 0 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 12 |
| p:P13044 | wd:statement/Q54933381-CCBDBF4A-BCD7-445D-8DC0-1FE95D5A7FC7 |
| p:P1889 | wd:statement/Q54933381-151a511c-404f-9072-2d97-7e90853cb963 |
| wd:statement/Q54933381-eec91491-4050-3695-8f70-45f5f056d9ce | |
| p:P2534 | wd:statement/Q54933381-a7869223-495f-3d53-b697-8ea868bfe1f7 |
| p:P31 | wd:statement/Q54933381-8A004880-1D70-4982-863A-210572705C3D |
| p:P6104 | wd:statement/Q54933381-B226F3E1-79F9-43EE-AD67-0AAB3D31B975 |
| p:P7235 | wd:statement/Q54933381-02a8f447-4d8f-2c75-c881-8b987b447fef |
| wd:statement/Q54933381-2259b8be-498f-1de1-deea-f17a564c9666 | |
| wd:statement/Q54933381-5caee58e-429e-4719-8a39-77059bc12050 | |
| wd:statement/Q54933381-6d199a5e-4d76-94f2-84cf-ea18eb421317 | |
| wd:statement/Q54933381-7acc9b0a-47ac-1180-2532-a92996d1fb76 | |
| wd:statement/Q54933381-c06685c0-4a95-cb0f-a579-58dc6555d0f9 | |
| wdt:P13044 | binary relation |
| wdt:P1889 | right-totality |
| left-uniqueness | |
| wdt:P2534 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">∀</mi><mo stretchy="false">(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo stretchy="false">)</mo><mo stretchy="false">∈</mo><mi>X</mi><mo stretchy="false">×</mo><msup><mi>Y</mi><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><mo>,</mo><mspace width="1em"></mspace><mi>x</mi><mrow data-mjx-texclass="ORD"><mi data-mjx-variant="-tex-calligraphic">ℛ</mi></mrow><mi>y</mi><mo stretchy="false">∧</mo><mi>x</mi><mrow data-mjx-texclass="ORD"><mi data-mjx-variant="-tex-calligraphic">ℛ</mi></mrow><mi>z</mi><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mo>⟹</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mi>y</mi><mo stretchy="false">=</mo><mi>z</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P31 | mathematical property |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P7235 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>X</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>Y</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>x</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>y</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>z</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow data-mjx-texclass="ORD"><mi data-mjx-variant="-tex-calligraphic">ℛ</mi></mrow></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
Download as: