45 relaciones: Bicondicional, Conjunto, Conjunto bien ordenado, Conjunto conexo, Conjunto finito, Conjunto parcialmente ordenado, Conjunto potencia, Desigualdad matemática, Disyunción lógica, Elemento mayorante y minorante, Elemento máximo y mínimo, Elemento supremo e ínfimo, Espacio compacto, Espacio normal, Función biyectiva, Función inyectiva, Id est, Intervalo (matemática), Isomorfismo, Lema de Zorn, Ley de tricotomía, Matemáticas, Morfismo, Número cardinal, Número entero, Número natural, Número ordinal (teoría de conjuntos), Número racional, Número real, Orden lexicográfico, Preorden total, Producto cartesiano, Relación antisimétrica, Relación asimétrica, Relación binaria, Relación reflexiva, Relación total, Relación transitiva, Retículo (matemáticas), Retículo distributivo, Subcategoría, Subconjunto, Teoría de categorías, Teoría del orden, Topología.
Bicondicional
En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.
¡Nuevo!!: Orden total y Bicondicional · Ver más »
Conjunto
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.
¡Nuevo!!: Orden total y Conjunto · Ver más »
Conjunto bien ordenado
En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo.
¡Nuevo!!: Orden total y Conjunto bien ordenado · Ver más »
Conjunto conexo
Un conjunto conexo es un subconjunto C \subseteq X de un espacio topológico (X,\mathcal) \, (donde \mathcal \, es la colección de conjuntos abiertos del espacio topológico) que no puede ser expresado como unión disjunta de dos conjuntos abiertos no vacíos de la topología.
¡Nuevo!!: Orden total y Conjunto conexo · Ver más »
Conjunto finito
En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos.
¡Nuevo!!: Orden total y Conjunto finito · Ver más »
Conjunto parcialmente ordenado
En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado o simplemente conjunto ordenadoSe usa esta expresión cuando no exista ambigüedad.
¡Nuevo!!: Orden total y Conjunto parcialmente ordenado · Ver más »
Conjunto potencia
En matemáticas, el conjunto potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos del conjunto dado.
¡Nuevo!!: Orden total y Conjunto potencia · Ver más »
Desigualdad matemática
En matemáticas, una desigualdad es una relación de orden que se da entre dos valores cuando estos son distintos (en caso de ser iguales, lo que se tiene es una igualdad).
¡Nuevo!!: Orden total y Desigualdad matemática · Ver más »
Disyunción lógica
En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
¡Nuevo!!: Orden total y Disyunción lógica · Ver más »
Elemento mayorante y minorante
En matemáticas, particularmente en teoría del orden y de conjuntos, el mayorante o cota superior de un subconjunto B de un conjunto parcialmente ordenado A es un elemento de A mayor o igual que cualquier elemento de B.
¡Nuevo!!: Orden total y Elemento mayorante y minorante · Ver más »
Elemento máximo y mínimo
En matemáticas, y particularmente en teoría del orden, dado un conjunto parcialmente ordenado (A,≤), un elemento a ∈ A es el elemento máximo de A si cualquier otro elemento de A es menor o igual que él; es decir, si para todo x ∈ A, x ≤ a. En la imagen, l es el máximo de A. Un elemento mínimo se define dualmente, como aquel a ∈ A tal que cualquier otro es mayor o igual que él; es decir, tal que para todo x ∈ A, a ≤ x, en la figura el elemento a es el mínimo de A. La propiedad de antisimetría de la relación de orden ≤ asegura que de existir un elemento máximo o mínimo en un conjunto, estos son únicos.
¡Nuevo!!: Orden total y Elemento máximo y mínimo · Ver más »
Elemento supremo e ínfimo
En matemáticas, dado un subconjunto S de un conjunto parcialmente ordenado \left(P,, el supremo de S, si existe, es el mínimo elemento de P que es mayor o igual a cada elemento de S. En otras palabras, es la mínima de las cotas superiores de S. El supremo de un conjunto S comúnmente se denota como \sup S.
¡Nuevo!!: Orden total y Elemento supremo e ínfimo · Ver más »
Espacio compacto
En la rama de topología de las matemáticas, un espacio compacto es un espacio que tiene propiedades similares a un conjunto finito, en cuanto a que las sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente.
¡Nuevo!!: Orden total y Espacio compacto · Ver más »
Espacio normal
En Topología y ramas relacionadas de la matemática, los espacios normales, espacios T4, y espacios T5 son tipos particulares de espacios topológicos.
¡Nuevo!!: Orden total y Espacio normal · Ver más »
Función biyectiva
En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.
¡Nuevo!!: Orden total y Función biyectiva · Ver más »
Función inyectiva
En matemáticas, una función: \end es inyectiva, uno a uno, si a elementos distintos del conjunto X (dominio) les corresponden elementos distintos en el conjunto Y (codominio) de f, es decir, cada elemento del conjunto Y tiene a lo sumo una preimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.
¡Nuevo!!: Orden total y Función inyectiva · Ver más »
Id est
Id est es una expresión latina que significa ‘esto es’, cuya abreviatura i.e. es muy usada en definiciones matemáticas y demostraciones de teoremas, lemas y corolarios.
¡Nuevo!!: Orden total e Id est · Ver más »
Intervalo (matemática)
Un intervalo (del latín intervallum) es un subconjunto conexo de la recta real, es decir, un subconjunto I \subset \R que satisface que, para cualesquiera u, w \in I y v \in \R, si u \le v \le w, entonces v \in I. Es un conjunto medible y tiene la misma cardinalidad que la recta real.
¡Nuevo!!: Orden total e Intervalo (matemática) · Ver más »
Isomorfismo
En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.
¡Nuevo!!: Orden total e Isomorfismo · Ver más »
Lema de Zorn
El lema de Zorn, también llamado de Kuratowski-Zorn, es una proposición de la teoría de conjuntos que afirma lo siguiente: Debe su nombre al matemático Max Zorn.
¡Nuevo!!: Orden total y Lema de Zorn · Ver más »
Ley de tricotomía
En matemáticas, la ley de tricotomía dice que cada número es irreal a otro número y no se tiene sentido alguno, pero se interpreta con t² y g³.
¡Nuevo!!: Orden total y Ley de tricotomía · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Orden total y Matemáticas · Ver más »
Morfismo
En varios campos de las matemáticas, se llaman morfismos (u homomorfismos) a las aplicaciones entre estructuras matemáticas que preservan la estructura interna.
¡Nuevo!!: Orden total y Morfismo · Ver más »
Número cardinal
El cardinal indica el número o cantidad de elementos de un conjunto, sea esta cantidad finita o infinita.
¡Nuevo!!: Orden total y Número cardinal · Ver más »
Número entero
Un número entero es un elemento del conjunto numérico que contiene los números naturales; que son \mathbb.
¡Nuevo!!: Orden total y Número entero · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Orden total y Número natural · Ver más »
Número ordinal (teoría de conjuntos)
En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado.
¡Nuevo!!: Orden total y Número ordinal (teoría de conjuntos) · Ver más »
Número racional
Los números racionales son todos los números que pueden representarse como el cociente de dos números enteros o, más exactamente, un entero y un natural positivo; es decir, una fracción común a/b con numerador a y denominador b distinto de cero.
¡Nuevo!!: Orden total y Número racional · Ver más »
Número real
En matemáticas, el conjunto de los números reales (denotado por R o por ℝ) incluye tanto los números racionales (positivos, negativos y el cero) como los números irracionales; y en otro enfoque, a los trascendentes y a los algebraicos.
¡Nuevo!!: Orden total y Número real · Ver más »
Orden lexicográfico
En matemáticas, o más particularmente en Teoría del orden, el orden lexicográfico es una relación de orden definida sobre el producto cartesiano de conjuntos ordenados.
¡Nuevo!!: Orden total y Orden lexicográfico · Ver más »
Preorden total
En Teoría del Orden, una relación binaria R se llama preorden total sobre un conjunto X si con las siguientes propiedades.
¡Nuevo!!: Orden total y Preorden total · Ver más »
Producto cartesiano
En matemáticas, el producto cartesiano de dos conjuntos es una operación, que resulta en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse de forma que el primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento pertenezca al segundo conjunto.
¡Nuevo!!: Orden total y Producto cartesiano · Ver más »
Relación antisimétrica
Una relación binaria R sobre un conjunto A es antisimétrica cuando se da que si dos elementos de A se relacionan entre sí mediante R, entonces estos elementos son iguales.
¡Nuevo!!: Orden total y Relación antisimétrica · Ver más »
Relación asimétrica
Una relación binaria R sobre un conjunto A, es asimétrica cuando si se da que un elemento está relacionado con otro mediante R, entonces el segundo nunca está relacionado con el primero.
¡Nuevo!!: Orden total y Relación asimétrica · Ver más »
Relación binaria
Una relación binaria R es el subconjunto de los elementos del producto cartesiano A_1 \times A_2 \ que cumplen una determinada condición.
¡Nuevo!!: Orden total y Relación binaria · Ver más »
Relación reflexiva
En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo.
¡Nuevo!!: Orden total y Relación reflexiva · Ver más »
Relación total
Una relación binaria R sobre un conjunto A es una relación total (o relación conexa) cuando se cumple que para cada dos elementos a y b de A, o a está relacionado con b o b está relacionado con a, esto es: Nótese que esto implica una relación reflexiva, pues incluye los casos en que a y b son el mismo elemento.
¡Nuevo!!: Orden total y Relación total · Ver más »
Relación transitiva
Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.
¡Nuevo!!: Orden total y Relación transitiva · Ver más »
Retículo (matemáticas)
En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: A \, con una relación binaria: \mathcal que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja a, b \in A de elementos tiene un único supremo (o extremo superior) en A, \; \sup(a,b) \in A y un único ínfimo (o extremo inferior) en A, \; \inf(a,b) \in A. El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes.
¡Nuevo!!: Orden total y Retículo (matemáticas) · Ver más »
Retículo distributivo
En matemática, un retículo distributivo es un retículo en el cual las operaciones de unión (join) e intersección (meet) se distribuyen la una sobre la otra.
¡Nuevo!!: Orden total y Retículo distributivo · Ver más »
Subcategoría
En matemática, una subcategoría de una categoría C es un subconjunto de los morfismos que es cerrado por composición y contiene todos los morfismos identidad.
¡Nuevo!!: Orden total y Subcategoría · Ver más »
Subconjunto
es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.
¡Nuevo!!: Orden total y Subconjunto · Ver más »
Teoría de categorías
La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.
¡Nuevo!!: Orden total y Teoría de categorías · Ver más »
Teoría del orden
La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático.
¡Nuevo!!: Orden total y Teoría del orden · Ver más »
Topología
La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de la matemática dedicada al estudio de aquellas propiedades de los cuerpos geométricos que permanecen inalteradas por transformaciones continuas.
¡Nuevo!!: Orden total y Topología · Ver más »
Redirecciona aquí:
Cadena (secuencia), Conjunto totalmente ordenado, Orden lineal.