Em matemática e em lógica 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 definidos muitos tipos de relações de ordem e diferentes obras usam os termos "ordem" e "relação de ordem" de maneiras diversas, pelo qual existe uma ambiguidade na literatura. Os tópicos "relações de ordens" estão fortemente vinculados ao conjunto parcialmente ordenado.