Dit de les estructures matemàtiques (grups, semigrups, cossos, etc.) en què hi ha una operació commutativa +, un ordre total ≥ i un element distingit 0 tals, que per a tot element x > 0 i tot element a ≥ 0 existeix un nombre natural n tal que x + … + x > a.
El grup dels nombres enters (ℤ, +) i els cossos dels racionals (ℚ, +, ·) i dels reals (ℝ, + ·) són arquimedians).