Un conjunto o poset parcialmente ordenadoP es un par(X,P) dondeX es un conjunto yP es una relación binaria reflexiva, antisimétrica y transitiva enX. (Consulte la Sección B.10 para...Un conjunto o poset parcialmente ordenadoP es un par(X,P) dondeX es un conjunto yP es una relación binaria reflexiva, antisimétrica y transitiva enX. (Consulte la Sección B.10 para un repaso de lo que son estas propiedades si es necesario.) LlamamosX al conjunto de suelo mientras queP es un orden parcial encendidoX.