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 maneiras diversas, pelo qual existe uma [[ambiguidade]] na literatura. Os tópicos "relações de ordens" estão fortemente vinculados ao [[conjunto parcialmente ordenado]].
