正则半群上左正则带的序定理特征

摘要

本文证明了，在一个正则半群Ｓ上由ＲＸ≤Ｒｙ，ｘ，ｙ∈Ｓ，可以推出，ｘ≤ｙ，当且仅当Ｓ是左正则带，当且仅当由ＲＸ≤Ｒｙ可以推出ｘ≤ｅｙ。这里“≤ｅ”是Ｌａｗｓｏｎ在〔１〕中给出，而“≤”由Ｎａｍ－ｂｏｏｒｉｐａｄ在〔２〕中介绍。