Los preórdenes pueden ser convertidos en órdenes identificando todo elemento equivalente con respecto a esta relación.