Mathématiques, informatique, politique et poésie
Un corps ordonné est un corps commutatif muni d'une relation d'ordre \(<\) totale compatible avec ses opérations, c'est à dire :
- Si \(aDe façon équivalente, un corps ordonné contient un sous ensemble \(P\) stable par addition et multiplication, tel que pour \(x\) on ait soit \(x\in P\), soit \(x=0\), soit \(
-x=P\). On définit alors la relation d'ordre \(<\) : \(x