1. Introduction
In [2], S. Asawasamrit and A. Sudprasert introduced a new algebraic structure which is called KK-algebras. And we described the relation between ideals and congruences. Furthermore, we defined quotient KK-algebra and studied its properties. In addition, L.L.Yong and M.Jie [5] introduced the notion of q-ideals and a-ideals in BCI-algebras. They gave several characterizations and the extensive theorems about q-ideals and a-ideals.