 Non-Archimedean ordered field

A non-Archimedean ordered field contains elements larger than every positive integer, equivalently positive infinitesimals smaller than every positive rational number.

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.