Ordem parcial
Em matemática, especialmente na rede, parcial ou semi-ordem é uma relação binária que abstrai conceitos intuitivos como ordem, arranjo e alinhamento. Um conjunto no qual uma subsequência é definida é chamado de conjunto subseqüente, como uma subseqüência. O conjunto de pedidos parciais não exige que todos os elementos sejam comparáveis. A ordem em que todos os elementos são comparáveis é chamada de sequência completa. Um conjunto finito de ordens parciais pode ser representado como uma figura inferior. Como exemplo da vida real, a ordem da árvore genealógica das pessoas é uma ordem parcial. Alguns dois têm um relacionamento ancestrais-descendente, mas nenhum deles tem essa relação.