Definition 4.2. Let X be a BCH-algebra. For a fixed x in X, the map R
x : X → X
given by R
x(t) = (t ∗x)∗(0∗x) for all t ∈ X is called a weak right self map.
The following theorem gives us a characterization of a weakly positive implicative
BCH-algebra with the help of its right and weak right self maps.