Relação de ordem: diferenças entre revisões

Em [[matemática]] e em [[lógica matemática|lógica de matemática]], especialmente em [[teoria dos conjuntos]] e em [[teoria das relações]], uma '''relação de ordem''' é uma [[relação binária]] que pretende captar o sentido intuitivo de relações como o maior, e o menor, anterior, e o posterior, e etc. Foram [[definição|definidos]] muitos tipos de relações de ordem e diferentes obras usam os termos "ordem" e "relação de ordem" de maneira diversa, pelo qual existe uma [[ambiguidade]] na literatura. O tópico "relação de ordem" está fortemente vinculado a [[conjunto parcialmente ordenado]].