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, o 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 maneiramaneiras diversadiversas, pelo qual existe uma [[ambiguidade]] na literatura. OOs tópicotópicos "relaçãorelações de ordemordens" estáestão fortemente vinculadovinculados aao [[conjunto parcialmente ordenado]].