Relation d'ordre entre les classes
On en déduit donc une relation d'ordre sur les classes :
Fondamental :
 CoursDiag1 | Si C et D sont deux classes, on dit que
|
Ceci ne dépend pas des éléments
et
choisis pour montrer que
Si
et
et
alors on aura,
C'est une relation d'ordre :
réflexive
transitive
antisymétrique
