ordered field (Q6482753)
From MaRDI portal
field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ordered field |
field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed |
