Ciao!!!!!!
ampliamo un campo ordinato aggiungendo un elemento x indipendente... Il nuovo campo sarà dato dalle frazione $p/q$ ove $p$ e $q$ sono polinomi in x con coefficienti nel vecchio campo (dividere vuol dire moltiplicare per l'inverso)...ora io sò che questo nuovo campo si può ancora ordinare con una nuova relazione d'ordine che coincide con quella vecchia per quanto riguarda il campo di partenza....
Ma qualcuno di voi sà qual'è questa relazione????