Showing changes from revision #4 to #5:
Added | Removed | Changed
Let be an ordered integral domain, and let be the injection of the positive integers into .
is an Archimedean ordered integral domain if there is a family of dependent terms
is an Archimedean ordered integral domain if there is a family of dependent terms
The integers are an Archimedean ordered integral domain.
The rational numbers are a Archimedean ordered integral domain.
Every Archimedean ordered field is a Archimedean ordered integral domain.