Una relación de orden o más conocida como "Orden en R" es una relación binaria que pretende formalizar la idea intuitiva de ordenación de los elementos de un conjunto, es decir, que ayuda a la creación del orden del mismo.