About: Well-order

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Well-order Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Dobry porządek (pl) Ensemble bien ordonné (fr) Thứ tự tốt (vi) Well-order (en) Цілком впорядкована множина (uk)
rdfs:comment	En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite : Toute partie non vide de E possède un plus petit élément. Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables. En effet, l'ensemble { x, y } possède un plus petit élément, donc on a x ≤ y ou y ≤ x. (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/well-order
sameAs	Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order Well-order
Wikipage page ID	156093 (xsd:integer)
Wikipage revision ID	185988503 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Nombre_ordinal Axiom of choice Axiom of dependent choice Peano axioms dbpedia-fr:Bijection category-fr:Théorie_des_ordres Complement (set theory) Ascending chain condition dbpedia-fr:Couple_(mathématiques) dbpedia-fr:Définition_par_récurrence Power set Finite set Infinite set Empty set Natural number Integer Maxima and minima dbpedia-fr:Famille_(mathématiques) Dyadic rational dbpedia-fr:Georg_Cantor dbpedia-fr:Inclusion_(mathématiques) dbpedia-fr:Intervalle_(mathématiques) John von Neumann dbpedia-fr:Morphisme dbpedia-fr:Nombre_ordinal dbpedia-fr:Nombre_transfini dbpedia-fr:Oméga Hartogs number Lexicographic order Total order dbpedia-fr:Produit_cartésien Mathematical induction Well-founded relation Binary relation Partially ordered set Equivalence relation dbpedia-fr:Récurrence_transfinie Disjoint union dbpedia-fr:Schéma_d'axiomes_de_remplacement Upper set dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel Well-ordering theorem dbpedia-fr:Type_d'ordre dbpedia-fr:À_quelque_chose_près dbpedia-fr:Énigme_de_combustion_de_mèches dbpedia-fr:Équipotence dbpedia-fr:Majorant_ou_minorant dbpedia-fr:Mathématiques
page length (characters) of wiki page	15367 (xsd:nonNegativeInteger)
dct:subject	category-fr:Nombre_ordinal category-fr:Théorie_des_ordres
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Formule dbpedia-fr:Modèle:Ind dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:2 dbpedia-fr:Modèle:Démonstration dbpedia-fr:Modèle:Moschovakis-notes

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software