Note that x ≤ y ⇐⇒ x + y = y for all x, y ∈ K. It is easy to see that ≤ is a partial order on K and that for any x, y ∈ K, the element x + y is the least upper bound of {x, y}. We say that ≤ is induced by operation +. It follows that
หมายเหตุ⇐⇒ y ที่ x ≤ x + y = y สำหรับทุก x, y ∈คุณ ง่ายต่อการดู≤ที่เป็นสั่งบางส่วน K และที่สำหรับทุก x, y ∈ K องค์ประกอบ x + y เป็นขอบเขตบนน้อยที่สุดของ {x, y } เราว่า ≤นั้นจะเกิดจากการดำเนินงาน + เป็นไปตามที่
โปรดทราบว่า x ≤ y ที่⇐⇒ x + y ที่ y = x สำหรับทุก, y ∈เคมันเป็นเรื่องง่ายที่จะเห็น≤ที่มีคำสั่งซื้อบางส่วนเกี่ยวกับK และว่าสำหรับ x ใด ๆ , y ∈ K, องค์ประกอบ x + y ที่เป็น อย่างน้อยขีด จำกัด บนของ{x, y} เรากล่าวว่า≤จะถูกเหนี่ยวนำโดยการดำเนินการ + มันตามที่
หมายเหตุ X ≤ Y ⇐⇒ x Y = Y สำหรับ x , y ∈ K . มันเป็นเรื่องง่ายที่จะเห็นว่า≤เป็นบางส่วนเพื่อที่ K สำหรับ x , y ∈ K ธาตุ X Y เป็นอย่างน้อยบนผูกพัน { x , y } เราว่า≤เกิดจากการผ่าตัด มันดังต่อไปนี้ว่า