Lemma 7 (cf. [4; the Theorem] and [7; Lemma 1]) If S is an intra-regular ordered semigroup, then for the complete semilattice congruence N on S, the class (x)N is a simple subsemigroup of S for every x ∈ S.
หน่วยการ 7 (cf. [4 ทฤษฎีบท] และ [7 หน่วยการ 1]) ถ้า S เป็นปกติภายในสั่ง semigroup แล้วสำหรับลงตัวสมบูรณ์ semilattice N บน S การชั้น (x) N คือ subsemigroup ที่เรียบง่ายของ S สำหรับทุก x ∈ S.
พ 7 ( CF . [ 4 ; ทฤษฎีบท ] และ [ 1 ] 7 ; ฟาง ) ถ้าเป็นปกติภายในสั่งเซมิกรุปแล้วสำหรับความสอดคล้อง semilattice สมบูรณ์ N S ,คลาส ( X ) N เป็นง่าย subsemigroup S สำหรับทุกๆ x ∈ s