Codex > Fields (Abstract Algebra)
Pub Mar 20, 2026 Up Jun 11, 2026
Definition 1. An ordered field is a field that is an ordered ring.