La relation est totale si tu peux toujours comparer deux élément au sens de cette relation (si tu prends x,y deux élément et R une relation d'ordre totale, tu as toujours xRy ou yRx)
Si la relation est partielle alors tu ne peux pas forcément comparer deux éléments. La relation d'inclusion est une relation d'ordre partielle par exemple puisque pour deux parties A et B d'un ensemble alors tu n'as pas forcément A inclus dans B ou B inclus dans A.
La relation d'ordre usuelle sur R est totale par contre (supérieur ou inférieur)
Les relations d'ordre totales et partielles vérifient exactement les mêmes axiomes par contre y'a pas de question qu'une est symétrique ou pas
Message édité le 22 septembre 2019 à 20:52:39 par Belzeborg