Lista de temas de teoría del orden

La teoría del orden es una rama de las matemáticas que estudia diversos tipos de objetos (a menudo relaciones binarias ) que capturan la noción intuitiva de orden, proporcionando un marco para determinar cuándo una cosa es "menor que" o "precede" a otra.

En el glosario de teoría del orden se puede encontrar una lista alfabética de muchos conceptos de la teoría del orden . Véase también desigualdad , valor extremo y optimización matemática .

• Conjunto parcialmente ordenado
• Hacer un pedido
• Conjunto totalmente ordenado
  • Total de pedidos anticipados
  • Cadena
  • Tricotomía
  • Recta numérica real extendida
• anticadena
• Orden estricta
• Diagrama de Hasse
  • Grafo acíclico dirigido
• Dualidad (teoría del orden)
• Pedido de producto

• Elemento mayor (máximo, superior, unidad), elemento menor (mínimo, inferior, cero)
• Elemento máximo , elemento mínimo
• Límite superior
  • Límite superior mínimo (supremo, unión)
  • Límite inferior máximo (ínfimo, punto de encuentro)
  • Limitar lo superior y limitar lo inferior
• Elemento irreducible
• Elemento primo
• Elemento compacto

• Conjunto cofinal y coinicial , a veces también llamado denso
• Conjunto denso de encuentro y conjunto denso de unión
• Conjunto enlazado (hacia arriba y hacia abajo)
• Conjunto dirigido (hacia arriba y hacia abajo)
• conjunto centrado y σ-centrado
• Red (matemáticas)
• Conjunto superior y conjunto inferior
• Ideal y filtro
  • Ultrafiltro

• Completitud (teoría del orden)
• Orden denso
• Distributividad (teoría del orden)
  • Rejilla modular
  • Red distributiva
  • Retículo completamente distributivo
• condición de cadena ascendente
  • Cadena descendente infinita
• Condición de cadena contable , a menudo abreviada como ccc
• La condición de Knaster , a veces denominada propiedad (K)

• Relación bien fundada
• Número ordinal
• Buen ordenamiento casi perfecto

• Semirretículo
• Enrejado
• (Dirigido) orden parcial completa , (d)cpo
• Completo delimitado
• Retículo completo
  • Teorema de Knaster-Tarski
• Divisibilidad infinita

• Álgebra de Heyting
  • Red relativamente complementada
• Álgebra completa de Heyting
  • Topología sin sentido
• MV-álgebra
• Álgebras de Ockham :
  • Álgebra de Stone
  • Álgebra de De Morgan
    • Álgebra de Kleene (con involución)
    • Álgebra de Łukasiewicz-Moisil
  • Álgebra booleana (estructura)
    • Anillo booleano
    • Álgebra booleana completa
• Retículo ortocomplementado
• Quantale

• Monoide parcialmente ordenado
• Grupo ordenado
  • propiedad arquimediana
• Anillo pedido
• Campo ordenado
• anillo artiniano
• Noetheriano
• Grupo ordenado linealmente
• Orden monomial
• Orden débil de permutaciones
• Bruhat ordena a un grupo de Coxeter
• Álgebra de incidencia

• Monótono
• Orden puntual de las funciones
• conexión Galois
• Incrustaciones de pedidos
• isomorfismo de orden
• Operador de cierre
• Funciones que preservan suprema/ínfima

• Finalización de Dedekind
• Finalización ideal

• Relación muy inferior
• poset continuo
  • Retículo continuo
• conjunto parcialmente ordenado algebraico
  • dominio de Scott
  • Retículo algebraico
• Sistema de información Scott
• Powerdomain
• Topología de Scott
• Continuidad de Scott

• Álgebra de Lindenbaum
• El lema de Zorn
  • Teorema de maximalidad de Hausdorff
• Teorema del ideal primo de Boole
• Ultrafiltro
• Lema del ultrafiltro
• Árbol (teoría de conjuntos)
• Árbol (teoría descriptiva de conjuntos)
• El problema de Suslin
• Ley de absorción
• Pedido previo de pozo

• Dualidad de piedra
  • Teorema de representación de Stone para álgebras booleanas
• Preorden de especialización
• Topología de orden de un orden total (topología de intervalo abierto)
• Topología de Alexandrov
• Topología superior
• Topología de Scott
  • Continuidad de Scott
• Topología de Lawson
• Topología más fina