We define the concept of fuzzy (strong) congruence relations on hypergroupoids and hyper BCK-algebras and construct a quotient hyperstructure on a hypergroupoid. In particular, we prove that if H is a (semi) hypergroup and R is a fuzzy (strong) congruence relation on H, then H/R is a (semi) group. Finally, by considering the notion of a hyper BCK-algebra, we construct a quotient hyper BCK-algebra.