Let X be a subtraction algebra. By

Let X be a subtraction algebra. By a derivation of X, a self-map
d of X satisfying the identity d(x − y) = (d(x) − y) ∧ (x − d(y)) for all x, y ∈ X is meant.

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

ให้ X เป็นพีชคณิตลบ โดยที่มาของ X แผนที่ด้วยตนเองd ของ X ความพึงพอใจตัว d (y x −) =∧ (d(x) − y) (x − d(y)) สำหรับทุก x, y ∈ X ตั้งใจ

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

ให้ X เป็นพีชคณิตลบ โดยที่มาของ X เป็นตัวเองแผนที่
d X ของความพึงพอใจของตัวตน d (x - y) = (d (x) - y) ∧ (x - d (y)) สำหรับทุก x, y ∈ X มีความหมาย

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

ให้ x เป็นลบพีชคณิต โดยรากศัพท์ของ x , ด้วยตนเองแผนที่
D x เพียงตัว D ( x = ( − Y ) d ( x ) − ( −∧ X Y ) D ( Y ) ) สำหรับ x , y ∈ X หมายถึง