Un campo ordinato è un campo con una relazione d'ordine totale, ovvero una relazione d'ordine che verifica i soliti assiomi (rilfessica, anti-simmetrica, transitiva). più un quarto assioma che afferma che tutti gli elementi del campo sono confrontabili...
Cmq probabilmente hai ragione sui campi ordinati... da R togliendo elementi e guardando la relazione d'ordine indotta si hanno infiniti campi ordinati...
ma cmq l'esercizio mi interessa così come l'ho postato all'inizio...