Definition 3.1. Let X be a BCI-algebra. By a left derivation of X, we mean a self-map D of X satisfying D(x ∗ y) = (x ∗ D(y)) ∧ (y ∗ D(x)), for all x, y ∈ X.
ความละเอียด 3.1 ให้ X เป็น BCI พีชคณิต โดยมาทางด้านซ้ายของ X เราหมายถึงการพัฒนาตนเองแผนที่ X ความพึงพอใจ D (x * y) = (x * D (y)) ∧ (y * D (x)) สำหรับทุก x, y ∈เอ็กซ์