Lemma 2 (cf. also [2; Lemma 1]) If

Lemma 2 (cf. also [2; Lemma 1]) If S is an ordered semigroup, then we
have the following:
(1) A ⊆ (A] for every A ⊆ S.
(2) If A ⊆ B ⊆ S, then (A] ⊆ (B].
(3) (A](B] ⊆ (AB] for every

ผลลัพธ์ (ไทย) 1:

หน่วยการ 2 (cf.ยัง [2 หน่วยการ 1]) ถ้า S เป็น semigroup สั่งการ แล้วเรามีต่อไปนี้:(1)⊆ (A] สำหรับทุก A ⊆ S.(2) ถ้า⊆ B ⊆ S แล้ว (⊆ A] (B](3) (A] (⊆ B] (AB] สำหรับทุก

ผลลัพธ์ (ไทย) 3:

บทแทรก 2 ( CF . ยัง [ 2 ; แทรก 1 ] ) ถ้าเป็นกึ่งกรุปเราสั่งแล้วมีดังต่อไปนี้( 1 ) ⊆ ( สำหรับทุก⊆ s( 2 ) ถ้า⊆ B ⊆ S แล้ว ( ] ⊆ ( B )( 3 ) ( ] ( B ) ⊆ ( AB ) ทุก