Source: http://mathematiques.daval.free.fr/IMG/pdf/6_ch4_relations_ordre.pdf