Keywords

#order_type

Order type

Isomorphism type of ordered sets

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 such that both f and its inverse are monotonic.

Wed 4th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Order type Well-order Higher-order logic Lexicographic order Word order Total order Data type Order (exchange) Type constructor Kind (type theory)
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.