Relatively compatible operations in BCK-algebras and some related algebras

Abstract

Let A be a BCK-algebra and f :A k →A a function. The main goal of this article is to give a necessary and sufficient condition for f to be compatible with respect to every relative congruence of A. We extend this result in some related algebras, as e.g. in pocrims.