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.