non-archimedean ordered field Antonyms