| rdfs:label |
"left-totality"@en
|
|
skos:alt |
"left total property"@en
"left totality"@en
"left-total property"@en
"property of left totality"@en
"property of left-totality"@en
|
| schema:description |
"property of binary relations"@en
|
|
schema:date |
"2025-11-05T21:31:01+00:00"^^xsd:dateTime |
| schema:version | 2426218134 |
| wikibase:identifiers | 0 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 7 |
| p:P1269 | wd:statement/Q54933376-9f207bec-4ff9-ac06-53a5-77edaa7a7b0e |
| p:P13044 | wd:statement/Q54933376-41ED1CC1-DD4D-4399-A9B9-EEB317EA63A4 |
| p:P1889 | wd:statement/Q54933376-adf54dd9-4369-fa4b-9004-d060242e6c13 |
| wd:statement/Q54933376-dbeadaf0-4b3f-ecf2-ecfb-922d8cf0c9d0 | |
| p:P2534 | wd:statement/Q54933376-3326666c-4dff-1d10-04df-372cc785e405 |
| p:P31 | wd:statement/Q54933376-F5A717B5-9951-4FFF-898D-6F0BBB972BA0 |
| p:P6104 | wd:statement/Q54933376-CCE1D2B6-B4E6-4400-AB96-A28D59120E55 |
| wdt:P1269 | serial relation |
| 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><mi>x</mi><mo stretchy="false">∈</mo><mi>X</mi><mo>,</mo><mspace width="1em"></mspace><mi mathvariant="normal">∃</mi><mi>y</mi><mo stretchy="false">∈</mo><mi>Y</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 |
Download as: