Relation d'ordre

[armani]

Bonjour,
En potassant, je vois écrit que :

"La relation | (divisibilité) sur l'ensemble N est une relation d'ordre. Ce n'est pas un ordre total car 2 et 3, par exemple, ne sont pas comparables (aucun des deux ne divise l'autre)".

Puisque tous les éléments ne sont pas mis en relation peut on parler de relation d'ordre ?

Exemple: Si je prend 2, 4 et 8, il y a bien une relation reflexive et transitive mais je ne vois pas le cas d'une anti-symetrie...

[Nightmare]

Salut,

pourquoi ne pourrait-on pas parler de relation d'ordre?

L'anti-symétrie dit que si aRb et bRa alors a=b, ce qui est bien le cas pour la relation de divisibilité non?

[Maks]

Puisque tous les éléments ne sont pas mis en relation peut on parler de relation d'ordre ?

Oui, mais elle n'est pas totale.

[armani]

Parfait!
Merci pour la rapidité de la réponse!