ordre total ?

ordre total ?

Est-ce que la relation d'ordre <' représente un ordre total sur P
La relation <' est représentée par le graphe des relations G2