Orden parcial completo

En matemáticas, el concepto orden parcial completo se usa para referirse al menos a tres clases de conjunto parcialmente ordenado similares, pero distintas, caracterizadas por propiedades de completitud.Los órdenes parciales completos desempeñan un papel principal en la informática teórica, en semántica denotacional y teoría de dominios.Sin embargo, este concepto aparece con mucha menos frecuencia en la práctica, ya que generalmente se puede trabajar explícitamente en el orden dual.Así, los órdenes parciales completos con mapas continuos de Scott forman una categoría cartesiana cerrada.La completitud dirigida por sí sola es una propiedad bastante básica que se da a menudo en otras investigaciones teóricas sobre el orden, utilizando, por ejemplo, conjuntos algebraicos parcialmente ordenados y la topología de Scott.