Semilattices can also be defined al

Semilattices can also be defined algebraically: join and meet are associative, commutative, idempotent binary operations, and any such operation induces a partial order (and the respective inverse order) such that the result of the operation for any two elements is the least upper bound (or greatest lower bound) of the elements with respect to this partial order.

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

Semilattices สามารถถูกกำหนดไว้ algebraically: รวมและตอบสนองดำเนินการไบนารีเกี่ยวข้อง สลับ idempotent และดำเนินการดังกล่าวก่อให้เกิดการบางส่วน (และลำดับผกผัน) ให้ผลลัพธ์ของการดำเนินการสำหรับองค์ประกอบใด ๆ สองคือ อย่างน้อยขอบเขตบน (หรือขอบล่างสุด) ขององค์ประกอบกับใบสั่งนี้บางส่วนได้

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

Semilattices ยังสามารถกำหนดพีชคณิต: เข้าร่วมและตอบสนองความเป็นสมาคมการเปลี่ยนแปลงการดำเนินงานไบนารี idempotent และดำเนินการใด ๆ ดังกล่าวทำให้เกิดการสั่งซื้อบางส่วน (และคำสั่งที่เกี่ยวข้องผกผัน) ดังกล่าวว่าผลการดำเนินงานใด ๆ สององค์ประกอบเป็นอย่างน้อยบนปก (หรือที่ยิ่งใหญ่ที่สุดผูกพันล่าง) ขององค์ประกอบที่เกี่ยวกับการสั่งซื้อบางส่วนนี้

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

semilattices ยังสามารถนิยามพีชคณิต : เข้าร่วมและได้มีการสับเปลี่ยนการเชื่อมโยง , ไบนารี , นิจพลและการดําเนินการดังกล่าว ทำให้สินค้าบางส่วน ( และการผกผันตามลําดับ ) ซึ่งผลของการดำเนินการใด ๆ สององค์ประกอบคือผูกไว้อย่างน้อยบน ( หรือขอบเขตล่างมากสุด ) ขององค์ประกอบด้วยความเคารพคำสั่งบางส่วน นี้