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

本文给出了Ｌ半群的定义的和一个例子，并且证明了在正则Ｌ半群上，≤＝≤ｅ，当且仅当这个半群是局部在逆半群，这≤和≤ｅ分别由Ｎａｍｂｏｏｒｉｐｒｅｄ；ｌａｗｓｏｎ给出。......

ＭａｒｋＶ，Ｌａｗｓｏｎ在（１）中给出了≤ｅ的定义，并证明了一个正则半群是局部ｏｒｔｈｏｄｏｘ当且仅当≤＝≤ｅ这里≤是由Ｎａｍｂｏｒｉｐａｄ（２）中给出定义的，本文给出了证明了，一个正则半群是局部群，当且仅......