An algebra (X;−) with a single bina

An algebra (X;−) with a single binary operation "-" is called subtraction algebra if for all
x, y, z ∈ X the following conditions hold:

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

การพีชคณิต (X −) กับการดำเนินการไบนารีเดียว "-" เรียกว่าพีชคณิตลบถ้าสำหรับทั้งหมดx, y, z ∈ X ค้างไว้ต่อไปนี้:

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

พีชคณิต (X ;-) กับการดำเนินการทวิภาคเดียว "-" จะเรียกว่าพีชคณิตลบถ้าสำหรับทุก
x, y, z ∈ X เงื่อนไขต่อไปนี้ถือ: