Hola Jonathan,
Vas a conseguir muchas cosas al respecto. En principio lo que dices de una relación, que el orden no importa, es cierto. Sin embargo, no tendría mucho sentido no poder ordenar los resultados de una consulta. Que yo sepa no hay una sintaxis clara y bien definida para ordenar en álgebra relacional, al menos el Navathe no define una (si yo mal no recuerdo y tomando en cuenta mi vieja edición...) si buscas por Internet es posible que consigas varias notaciones distintas, de modo que no hay mucho acuerdo al respecto.
En lo que a nosotros respecta, como el álgebra relacional no es un lenguaje "implementado" en un SGBD, sino una mera notación matemática, podemos entonces estirar la sintaxis un poco y definir un operador para ordenar ascendentemente y otro para ordenar descendentemente. Por ejemplo, podrías decir que:
ASC
<atributos de orden separados por coma>(RELACIÓN_A_ORDENAR)
DSC
<atributos de orden separados por coma>(RELACIÓN_A_ORDENAR)
Ordenan ascendentemente y descendentemente respectivamente.
En pocas palabra, creo que lo importante es el concepto de ordenar algo y no la notación, pero claro, respecto a la notación si nos tenemos que poner de acuerdo para entendernos
Espero te haya sido útil.