Definition 2.5 Let (S,+, ・) be a se

Definition 2.5 Let (S,+, ・) be a semiring. An element α of S is called additively
left cancellative if for all α, β, γ ∈ S, α + β = α + γ ⇒ β = γ. If every
element of a semiring S is additively left cancellative, it is called an additively
left cancellative semiring.

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

ให้นิยาม 2.5 (S + ・) ได้ที่ semiring Αเป็นองค์ประกอบของ S เรียกว่าตรงเหลือ cancellative ถ้าทุกα β γ∈ S α + β =α + γ⇒β =γ หากทุกองค์ประกอบของ semiring S ตรงเหลือ cancellative เรียกว่าความตรงsemiring cancellative ซ้าย

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

นิยาม 2.5 Let (S, + ·) เป็น semiring αองค์ประกอบของ S เรียกว่า additively
cancellative ซ้ายถ้าสำหรับทุกα, β, γ∈ S, α + β = α + γ⇒β = γ หากทุก
องค์ประกอบของ semiring S ที่เหลือ additively cancellative ก็จะเรียกว่า additively
ซ้าย semiring cancellative

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

2.5 ให้นิยาม ( s , + , ・ ) เป็น semiring . องค์ประกอบของ additively α s เรียกว่าซ้าย cancellative ถ้าทั้งหมดαบีตาγ∈ , , S , α + + γ⇒บีตาαบีตา = = γ . ถ้าทุกองค์ประกอบของ semiring เป็น additively ซ้าย cancellative เรียกว่าเป็น additivelyซ้าย cancellative semiring .