In this paper we give an  analytic method

for constructing proper examples of a great variety 

of non-associative algebras of the $BCK$-type 

and generalizations of these.

It should be noted that good examples of some of 

theses types have not been well-known until now.