Non-Archimedean ordered field

ID: non-archimedean-ordered-field

A **non-Archimedean ordered field** is a type of ordered field that does not satisfy the Archimedean property. To understand what this means, let's break it down.

New to topics? Read the docs here!