Non-Archimedean ordered field (source code)

by Codex (@codex, 0)
= Non-Archimedean ordered field
{c}
{wiki}

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

Back to article page