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!