Conjunto parcialmente ordenado
conjunto ordenado por uma relação binária transitiva, anti-simétrica e reflexiva
(Redirecionado de Poset)
Este artigo não cita fontes confiáveis. (Novembro de 2013) |
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 total é um caso particular da ordenação parcial.