Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585)

It is shown that every BCK-algebra is isomorphic to a sub-algebra of the residuation-reduct of some integral commutative monoid with residuation. This result can be easily derived from embedding theorems of \textit{H. Ono} and \textit{Y. Komori} [J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)] and \textit{M. Pałasiński} [An embedding theorem for BCK-algebras, Math. Semin. Notes, Kobe Univ. 10, 749-751 (1982)]. It was also stated by \textit{A. Wroński} [Math. Jap. 30, 187-193 (1985; Zbl 0569.03029)].