type d'ordre
relation entre deux ensembles, entre lesquels on peut relier les éléments de sorte à ce que deux éléments ordonnés dans l'un seront associés à deux éléments ordonnés de la même manière dans l'autre