Definition 3.1. By a generalized BC

Definition 3.1. By a generalized BCK-algebra (gBCK-algebra, for short) we mean a
triplet (G, ∗, 0), where G is a nonempty set, ∗ is a binary operation on G and 0 ∈ G is
a nullary operation, called zero element, such that
(G1) x ∗0 = x,
(G2) x ∗ x = 0,
(G3) (x ∗ y) ∗ z = (x ∗ z) ∗ y,
(G4) (x ∗ y) ∗ z = (x ∗ z) ∗ (y ∗ z).

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

ข้อกำหนดที่ 3.1 โดยมีเมจแบบทั่วไป BCK พีชคณิต (gBCK-พีชคณิต สั้น ๆ) เราหมายถึงการtriplet (G ∗ 0), G ชุด nonempty ∗เป็นการดำเนินการไบนารี 0 ∈ G และ G ในnullary การดำเนินการ เรียกองค์ประกอบเป็นศูนย์ ให้∗0 (G1) x = x∗ x (G2) x = 0(G3) (x ∗ y) ∗ z = (x ∗ z) ∗ y(G4) (x ∗ y) ∗ z = (x ∗ z) ∗ (y ∗ z)

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

ความละเอียด 3.1 โดย BCK พีชคณิตทั่วไป (gBCK-พีชคณิตสั้น)
เราหมายถึงแฝด(G *, 0), ที่ G เป็นชุดว่างที่ * คือการดำเนินการไบนารี G และ 0 ∈ G
เป็นการดำเนินการnullary เรียกว่า ศูนย์องค์ประกอบเช่นว่า
(G1) x * 0 = x,
(G2) x * x = 0
(G3) (x * y) * ซี = (x * ซี) * Y,
(G4) (x * y) * ซี = (x * ซี) * (y * ซี)