Conjunto parcialmente ordenado: diferenças entre revisões

 

Na [[matemática]], especialmente na [[Teoria da ordem]], um '''conjunto parcialmente ordenado''' ('''poset''', em [[Língua_inglesa|inglês]] '''''p'''artially '''o'''rdered '''set''''') é um [[conjunto]] equipado com uma [[relação binária]] [[relação de ordem|de ordem]] parcial. Esta 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 ocurrer em alguns casos. Em outras palavras, a ordenação total é um caso particular da ordenação parcial.

 

[[Categoria:Matemática]]