« Ensemble partiellement ordonné » : différence entre les versions
Contenu supprimé Contenu ajouté
m Valvino a déplacé la page Poset vers Ensemble partiellement ordonné : Titre français |
m →Exemples : l'auteur souhaite qu'on évite l'« ambiguïté du référent du pronom final », qui n'inclut (pourtant évidemment) pas la mère |
||
Ligne 17 :
* L'ensemble des nombres entiers naturels, muni de la [[divisibilité]] est un ensemble partiellement ordonné infini.
* Un ensemble de personnes muni de la relation de la [[descendance]] [[généalogie|généalogique]] est un ensemble partiellement ordonné. Par exemple, deux sœurs sont inférieures à leur mère mais
* L'[[ensemble des parties d'un ensemble]] donné, muni de l'inclusion forme un ensemble partiellement ordonné. Si l'ensemble donné est fini, son ensemble des parties est fini (plus précisément pour <math>\#A=n</math>, on a <math>\#P(A)=2^n</math>). La figure ci-dessous représente le [[diagramme de Hasse]] d'un ensemble à 3 éléments.
[[Image:Hasse diagram of powerset of 3.svg|center|240px|Diagramme de Hasse d'un ensemble à 3 éléments.]]
| |||