阿基米德序半群

（数学名词）

阿基米德序半群(Archimedean order semi-group)一类重要的全序半群.设S是全序半群，若对任意x，yES，存在自然数p，q，r，t，使得x0G犷和y'Gx`，则S称为阿基米德序半群.