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 »