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.