Concept information
Terme préférentiel
ensemble bien ordonné
Définition
-
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. Formellement cela donne ∀X⊆E, X≠∅ ⇒ (∃u∈X, ∀v∈X u≤v).
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.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Ensemble_bien_ordonn%C3%A9)
Concept générique
Traductions
-
anglais
-
well-order relation
-
well-ordering
URI
http://data.loterre.fr/ark:/67375/PSR-RTKRMZZL-Q
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}