Conjunto parcialmente ordenado

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou secção não cita nenhuma fonte ou referência, o que compromete sua credibilidade (desde Novembro de 2013).
Por favor, melhore este artigo providenciando fontes fiáveis e independentes, inserindo-as no corpo do texto por meio de notas de rodapé. Encontre fontes: Googlenotícias, livros, acadêmicoScirusBing. Veja como referenciar e citar as fontes.
O diagrama de Hasse do conjunto de todos os subconjuntos do conjunto de 3 elementos {x, y, z}, ordenado por inclusão.

Na matemática, especialmente na Teoria da ordem, um conjunto parcialmente ordenado (poset, em inglês partially ordered set) é um conjunto equipado com uma relação binária de ordem parcial. Esta relação formaliza o conceito intuitivo de ordem, sequência, ou arrumação dos elementos do conjunto. Tal ordem não precisa necessariamente ser total, ou seja, não é necessário que todos os elementos do conjunto possam ser comparados uns com os outros; contudo isto pode ocorrer em alguns casos. Em outras palavras, a ordenação parcial é um caso particular da ordenação total.

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.