Definition 2.1. A BCI-algebra (X; ∗

Definition 2.1. A BCI-algebra (X; ∗, 0) is said to be p-semisimple if
X+ := {x ∈ X | 0 ∗ x = 0}, then X+ = {0}.
Proposition 2.2. For a BCI-algebra X the following are equivalent:

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

นิยาม 2.1 บีซีไอพีชคณิต (X ∗ 0) บอกว่า จะ p semisimple ถ้าX +: = { x ∈ X | 0 ∗ x = 0 }, แล้ว X + = { 0 }เรื่องที่ 2.2 สำหรับ X บีซีไอพีชคณิต ดังนี้เท่ากับ:

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

นิยาม 2.1 BCI พีชคณิต (X *, 0) บอกว่าจะเป็น P-semisimple ถ้า
X + = {x ∈ X | 0 * x = 0} แล้ว X + = {0}.
โจทย์ 2.2 สำหรับ BCI พีชคณิต X ต่อไปนี้จะเทียบเท่า: