Conjunto parcialmente ordenado

O diagrama de Hasse do conjunto de todos os subconjuntos de um conjunto de três elementos $\{x,y,z\},$ ordenados por inclusão . Conjuntos conectados por um caminho ascendente, como $\mathrm{\varnothing }$ e $\{x,y\}$, são comparáveis, enquanto, por exemplo, $\{x\}$ e $\{y\}$ não são.

Na matemática, especialmente na Teoria da ordem, um conjunto parcialmente ordenado (ou conjunto PO) é uma estrutura matemática que permite a análise da relação de precedência de elementos em um conjunto. Diferentemente de uma relação de ordem total, nem todos os elementos precisam ser comparáveis.

Formalmente, um conjunto parcialmente ordenado é um conjunto estruturado com uma relação binária reflexiva, antissimétrica e transitiva nos elementos que podem ser comparados.

Essa estrutura é comumente representada pelo par $(P,\le )$, onde $P$ é um conjunto e $\le$ é a relação de ordem definida sobre este. Denotamos por $a\le b$ quando um elemento precede outro.Predefinição:Matemática

Definição

Um conjunto parcialmente ordenado, é um par $(P,\le )$ onde $P$ é um conjunto e $\le$ é uma relação binária que satisfaz as seguintes propriedades:

Reflexividade: $a\le a$. Todo elemento precede ele mesmo.

Antissimetria: $a\le b\wedge b\le a⟹a=b$. Se dois elementos precedem um ao outro, então eles são iguais.

Transitividade:$a\le b\wedge b\le c⟹a\le c$.

Essas propriedades definem uma relação de precedência parcial entre os elementos de $P$.

Exemplos

• Os números reais com a ordenação usual (essa relação também é total).
• Os subconjuntos do conjunto das partes ordenado pela inclusão.
• Os números naturais ordenados por divisibilidade.

Ver também

• Relação de ordem
• Reticulado (matemática)
• Diagrama de Hasse