Showing changes from revision #0 to #1:
Added | Removed | Changed
An ordered abelian group is an abelian group with a strict order and a family of dependent terms
The integers are an ordered abelian group
The rational numbers are an ordered abelian group
Every ordered integral domain is an ordered abelian group