---
tag: 0P3VCBDEE2
kind: concept
name: Ordered field
msc: [12J15]
sources:
  - url: https://en.wikipedia.org/wiki/Ordered_field
    locator: Definitions
same_as:
  wikidata: Q909412
  wikipedia: Ordered field
---

## Summary

An ordered field is a field with a total order that is compatible with addition and with multiplication by positive elements.
The [[rational numbers|0NCJ5WXN6Z]] and the [[real numbers|08J2M1JYAG]] are ordered fields.