Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es order type - definición
Order type
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
Ordinality; Order-type; Order-equivalent
In mathematics, especially in set theory, two ordered sets and are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element matches exactly one in the other set) f\colon X \to Y such that both and its inverse are monotonic (preserving orders of elements). In the special case when is totally ordered, monotonicity of implies monotonicity of its inverse.
Type constructor
FEATURE OF A TYPED FORMAL LANGUAGE THAT BUILDS NEW TYPES FROM OLD ONES
Type constructors; Type operator; Higher-order type operator
In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors.
Lexicographic order
![Orderings of the 3-[[subset]]s of <math>\{1, \ldots, 6\},</math> represented as sets of red squares, increasing sequences (in blue), or by their [[indicator function]]s, converted in [[decimal notation]] (in grey). The grey numbers are also the rank of the subsets in all subsets of <math>\{1, \ldots, 6\},</math> numbered in colexicographical order, and starting from 0. The lexicographical (lex) and colexicographical (colex) orders are on the top and the corresponding reverse orders (rev) on the bottom<br>One passes from an order to its reverse order, either by reading bottom-up instead of up-bottom, or by exchanging red and white colors.](https://commons.wikimedia.org/wiki/Special:FilePath/Orderings; 6 choose 3.svg?width=200 "Orderings of the 3-[[subset]]s of <math>\{1, \ldots, 6\},</math> represented as sets of red squares, increasing sequences (in blue), or by their [[indicator function]]s, converted in [[decimal notation]] (in grey). The grey numbers are also the rank of the subsets in all subsets of <math>\{1, \ldots, 6\},</math> numbered in colexicographical order, and starting from 0. The lexicographical (lex) and colexicographical (colex) orders are on the top and the corresponding reverse orders (rev) on the bottom<br>One passes from an order to its reverse order, either by reading bottom-up instead of up-bottom, or by exchanging red and white colors.")
![inversion vectors]] (in red) of permutations in ''colex'' order are in ''revcolex'' order, and vice versa.](https://commons.wikimedia.org/wiki/Special:FilePath/Orderings; permutations 5-cycle.svg?width=200 "inversion vectors]] (in red) of permutations in ''colex'' order are in ''revcolex'' order, and vice versa.")
GENERALIZATION OF THE WAY THE ALPHABETICAL ORDER OF WORDS IS BASED ON THE ALPHABETICAL ORDER OF THEIR COMPONENT LETTERS
Lexicographical order; Ordering of lexicographic type; Lexicographic ordering; Lexiographic Order; Reverse lexicon; Lexicographical ordering; Colexicographical order; Colex; Colex order; Colex ordering; Lexicographical sort; Reverse lexicographic order; Lexical order; Lexigraphical order; Lexigraphic order; Quasi-lexicographic order; Colexicographic order; Lexicographically; Lexicographic sort
In mathematics, the lexicographic or lexicographical order (also known as lexical order, or dictionary order) is a generalization of the alphabetical order of the dictionaries to sequences of ordered symbols or, more generally, of elements of a totally ordered set.
Ejemplos de uso de order type
1. "Whatever the risk to national security which he may have posed in 2002, the risk is now insignificant." Natalia Garcia, Mr Sihali‘s lawyer, said after the ruling today: "Mr Sihali is an entirely innocent man who has had to endure years of imprisonment in Belmarsh in the harshest conditions as well as bail with stringent control–order type restrictions on his liberty, all on the basis of faulty intelligence and political spin." She added: "Mr Sihali was never a risk to this country‘s national security, but he has been made a pawn in a wider and dangerous political game where justice, human rights and truth have all been abandoned in the name of the ‘war on terror‘. "He is now going to try to rebuild his life which has been decimated by the false accusations against him.