![]() | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (February 2023) |
This article relies largely or entirely on a single source. (March 2024) |
In mathematics, especially in set theory, two ordered sets X and Y are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element pairs with exactly one in the other set) such that both f and its inverse are monotonic (preserving orders of elements).
In the special case when X is totally ordered, monotonicity of f already implies monotonicity of its inverse.
One and the same set may be equipped with different orders. Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search