Two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are strictly increasing
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 (fr)
two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are strictly increasing (en)