SHMARQL

order type

<http://www.wikidata.org/entity/Q620006>

two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are strictly increasing
rdfs:label
"order type"@en
skos:altLabel
"tipo di ordine"@it
schema:description
"two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are strictly increasing"@en
schema:dateModified "2025-02-04T00:42:39+00:00"^^xsd:dateTime
schema:version 2306541971
wikibase:identifiers 4
wikibase:sitelinks 8
wikibase:statements 8
p:P10283 wd:statement/Q620006-5E53EA17-89E3-4D93-A71D-4A3743A8FCF9
p:P1269 wd:statement/Q620006-B91A778A-6A70-4FB3-997F-519513D6A628
p:P279 wd:statement/Q620006-B66F4D34-4456-40C1-83EA-EF1DD287CA2B
p:P2812 wd:statement/Q620006-863594E0-48C3-491E-B3B7-1EC0D9ABD7BF
p:P31 wd:statement/Q620006-D0643384-83EF-4FA4-8B1A-DA2B4E0099A4
p:P6104 wd:statement/Q620006-4ECE19C3-F3C3-4C47-A63A-2C53A4564AEC
p:P6366 wd:statement/Q620006-8CBAC030-089C-48E2-8C58-A4F0DF1D7723
p:P646 wd:statement/Q620006-E7D41D19-5FC3-4A8A-AFE9-5987BC0E851C
p:direct-normalized/P6366 <https://makg.org/entity/138890893>
wdt:P10283 "C138890893"
wdt:P1269 partially ordered set
wdt:P279 cardinality
wdt:P2812 "OrderType"
wdt:P31 isomorphism class
wdt:P6104 WikiProject Mathematics
wdt:P6366 "138890893"
wdt:P646 "/m/0c5p2n"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata