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...

well-ordered set is uniquely order isomorphic to a unique ordinal number, called the order type of the well-ordered set. The well-ordering theorem, which is equivalent...

dependent types. First-order logic quantifies only variables that range over individuals; second-order logic, also quantifies over sets; third-order logic...

lexicographic or lexicographical order (also known as lexical order, or dictionary order) is a generalization of the alphabetical order of the dictionaries to sequences...

In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible...

pronounced "type", which is the type of all types in the underlying language, which are now called proper types in order to distinguish them from the types of...

mathematics, a total order or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation ≤...

execution. A market order is the simplest of the order types. This order type does not allow any control over the price received. The order is filled at the...

dominant word orders but every word order type is grammatically correct. The table below displays the word order surveyed by Dryer. The 2005 study surveyed...

computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system...