The above definition is a dual form of the ordinary definition (cf. [1], [6], [7]).
In our convention any BCK-algebra is a BCC-algebra, but there are BCC-algebras
which are not BCK-algebras (cf. [2]). Such BCC-algebras are called proper. Some
methods of construction of BCC-algebras from BCK-algebras are given in [3]. Note