Podemos definir en un cuerpo cualquiera K, sea o no conmutativo, una cierta clase de elementos del mismo, su clase positiva, que en unión con el elemento nulo constituye el llamado semicuerpo positivo de elementos de K y que permite, de forma natural, establecer para los elementos del cuerpo una relación de orden total. El orden establecido en un cuerpo K utilizando su clase positiva nos plantea la posibilidad de definir correspondencias entre los elementos del cuerpo entre sí o entre los elementos del cuerpo y otros conjuntos numéricos, imponiendo condiciones de definición que se basen en el orden de K, o en su clase positiva.12 mayo 2012