In this manuscript first by definition of \r \ relation on a
hyper $BCK$-algebra, we construct a quotient hyper $BCK$-algebra.
After that, we state and prove the homomorphism and isomorphism
theorems for hyper $BCK$-algebras. Finally, we show that there
exists at least one maximal regular congruence relation in a
bounded hyper $BCK$-algebra.