| rdfs:label |
"right-totality"@en
|
|
skos:alt |
"property of right totality"@en
"property of right-totality"@en
"property of surjectivity"@en
"right total propery"@en
"right totality"@en
"right-total property"@en
"surjective property"@en
"surjectivity"@en
|
| schema:description |
"property of binary relations"@en
|
|
schema:date |
"2025-12-24T22:27:09+00:00"^^xsd:dateTime |
| schema:version | 2446761241 |
| wikibase:identifiers | 0 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 12 |
| p:P1269 | wd:statement/Q54933377-4907ec6b-4613-f000-2f1a-8cd763928cb9 |
| p:P13044 | wd:statement/Q54933377-0D24E348-55D6-40D0-9C1D-A0D65D5EFC20 |
| p:P1889 | wd:statement/Q54933377-be030d28-4619-1759-d4f8-1ca9355ac4db |
| wd:statement/Q54933377-d13cd3d1-4c18-4079-412a-a2bc3c6f039b | |
| p:P2534 | wd:statement/Q54933377-ef1c193a-4fde-4c75-eb60-197bd5a89691 |
| p:P31 | wd:statement/Q54933377-6045A811-D0B2-4E77-B04A-5488BCA491D3 |
| p:P6104 | wd:statement/Q54933377-ACDC1683-B38B-4E4D-827E-39BE979D403E |
| p:P7235 | wd:statement/Q54933377-66d06448-44c4-1521-b924-303dd135c930 |
| wd:statement/Q54933377-8a33bcf8-4912-4454-b942-69ecd6436fe7 | |
| wd:statement/Q54933377-90762ad6-4703-1c4e-516d-9088bfeba5bb | |
| wd:statement/Q54933377-e8ba1577-4243-e67d-af4a-56d7ea87d641 | |
| wd:statement/Q54933377-ff4e47f8-4fec-4452-cddc-eae71c46cdfa | |
| wdt:P1269 | surjective relation |
| wdt:P13044 | binary relation |
| wdt:P1889 | left-totality |
| right-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><mi>y</mi><mo stretchy="false">∈</mo><mi>Y</mi><mo>,</mo><mspace width="1em"></mspace><mi mathvariant="normal">∃</mi><mi>x</mi><mo stretchy="false">∈</mo><mi>X</mi><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></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"><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: