Ordered Field

🅟 Mar 20, 2026

  🅤 Mar 20, 2026

DEF-OF. Ordered Field.

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