Ordered Field

🅟 Mar 20, 2026

  🅤 Jun 11, 2026

Definition 1.

An ordered field is a field that is an ordered ring.