Definition 3.3. Let S and Q be an o

Definition 3.3. Let S and Q be an ordered semigroup and a non-empty
set, respectively.

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

ข้อกำหนดที่ 3.3 ให้ S และ Q semigroup การสั่งซื้อและยังไม่ว่างตั้งค่า ตามลำดับ

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

ความละเอียด 3.3 ให้ S และ Q เป็น semigroup
รับคำสั่งและไม่ว่างเปล่าชุดตามลำดับ

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

ความละเอียด 3.3 . ให้ S เป็นกึ่งกรุปและ Q และสั่งไม่หมด

ชุดตามลำดับ