Adjoint semigroup of bounded implicative BCK-algebra

• 有界蕴涵BCK-代数的伴随半群