order type (Q620006)
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
Language:
other details
description 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

External Links
(P646) /m/0c5p2n
(P2812) OrderType
(P6366) 138890893
(P10283) C138890893