Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Relación de orden

Índice Relación de orden

En matemáticas, una relación de orden u orden parcialAlgunos autores reservan la expresión orden parcial para aquellos órdenes que no sean totales.

21 relaciones: Bicondicional, Cambridge University Press, Conjunto, Conjunto bien ordenado, Conjunto parcialmente ordenado, Conjunto potencia, Conjunto preordenado, Desigualdad matemática, Igualdad matemática, Matemáticas, Número racional, Orden total, Par ordenado, Relación antisimétrica, Relación bien fundada, Relación binaria, Relación reflexiva, Relación total, Relación transitiva, Sistema formal, Teoría del orden.

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!!: Relación de orden y Bicondicional · Ver más »

Cambridge University Press

Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).

¡Nuevo!!: Relación de orden y Cambridge University Press · 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!!: Relación de orden 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!!: Relación de orden y Conjunto bien ordenado · 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!!: Relación de orden 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!!: Relación de orden y Conjunto potencia · Ver más »

Conjunto preordenado

En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados.

¡Nuevo!!: Relación de orden y Conjunto preordenado · 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!!: Relación de orden y Desigualdad matemática · Ver más »

Igualdad matemática

En matemáticas, un enunciado en el que dos expresiones (iguales o distintas) denotan el mismo objeto matemático se llama igualdad matemática.

¡Nuevo!!: Relación de orden e Igualdad matemática · 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!!: Relación de orden y Matemáticas · 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!!: Relación de orden y Número racional · Ver más »

Orden total

En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva, antisimétrica, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera a, b, y c en X.

¡Nuevo!!: Relación de orden y Orden total · Ver más »

Par ordenado

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.

¡Nuevo!!: Relación de orden y Par ordenado · 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!!: Relación de orden y Relación antisimétrica · Ver más »

Relación bien fundada

En teoría de conjuntos, una relación bien fundada sobre una clase X es una relación binaria R sobre X tal que todo subconjunto no vacío de X tiene un elemento R-mínimo; esto es: Equivalentemente, si asumimos el axioma de elección, una relación es bien fundada si y sólo si X no contiene cadenas descendientes infinitas numerables: esto es, no hay secuencia infinita x0, x1, x2,...

¡Nuevo!!: Relación de orden y Relación bien fundada · 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!!: Relación de orden 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!!: Relación de orden 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!!: Relación de orden 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!!: Relación de orden y Relación transitiva · Ver más »

Sistema formal

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.

¡Nuevo!!: Relación de orden y Sistema formal · 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!!: Relación de orden y Teoría del orden · Ver más »

Redirecciona aquí:

Relacion de orden.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »