Archimedean equivalence

Redirect to:

• Hahn embedding theorem