be an idempotent semigroup. Then:

be an idempotent semigroup. Then:

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

เป็นเซกเมนต์ idempotent แล้ว:

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

เป็นกลุ่มกึ่งกลุ่มที่ดูไม่ปกติ แล้ว:

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

เป็นนิจพลกึ่งกรุป งั้น