| rdfs:label |
"anti-transitivity"@en
|
|
skos:alt |
"antitransitivity"@en
"intransitivity"@en
|
| schema:description | "property of binary endorelations"@en |
|
schema:date |
"2025-05-06T17:48:19+00:00"^^xsd:dateTime |
| schema:version | 2345479587 |
| wikibase:identifiers | 1 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 8 |
| p:P1269 | wd:statement/Q50823328-8ad29860-4328-c84d-9464-a9e25f10b6a5 |
| p:P13044 | wd:statement/Q50823328-95E051E0-BD44-473C-BE15-096C34B874D9 |
| p:P1889 | wd:statement/Q50823328-366961C9-8A8E-4F5B-8E44-0E0E97A19C29 |
| p:P2534 | wd:statement/Q50823328-40b5c7d2-4d90-7387-adf3-e71465f3884a |
| p:P31 | wd:statement/Q50823328-1516b8b8-4833-789f-54ec-945106357cf0 |
| p:P461 | wd:statement/Q50823328-aaebddae-49c3-a57a-daf6-128e978ef134 |
| p:P6104 | wd:statement/Q50823328-400C6DFD-ED92-483D-822B-30B54587A21F |
| p:P7305 | wd:statement/Q50823328-61965380-56C0-4693-BCFD-4796BB0D073E |
| wdt:P1269 | anti-transitive relation |
| wdt:P13044 | binary relation |
| wdt:P1889 | intransitivity |
| 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>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo stretchy="false">∈</mo><mi>X</mi><mo stretchy="false">(</mo><mi>x</mi><mrow data-mjx-texclass="ORD"><mi data-mjx-variant="-tex-calligraphic">ℛ</mi></mrow><mi>y</mi><mo stretchy="false">∧</mo><mi>y</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 mathvariant="normal">¬</mi><mo stretchy="false">(</mo><mi>x</mi><mrow data-mjx-texclass="ORD"><mi data-mjx-variant="-tex-calligraphic">ℛ</mi></mrow><mi>z</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P31 | mathematical property |
| wdt:P461 | transitivity |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P7305 | "3872190" |
Download as: