Bonjour à tous, je sais qu'une relation d'ordre est qualifiée de "totale" si deux éléments sont toujours comparables et inversement pour la relation "partielle", mais je n'arrive pas à comprendre comment sait-on si deux éléments sont toujours comparables ou non...

Par exemple on dit que la relation d'inclusion est partielle, mais je ne vois pas pourquoi parce qu'on peut toujours dire si un ensemble est inclus dans l'autre ou pas.

Si vous pouvez m'éclairer, je suis tout ouïe!