If \(m_J(\lbrace e\rbrace )=1\) ,
then \(m_K:=m_H+1_{J\setminus {\lbrace e\rbrace }}m_J\)  is a Haar measure
for
\(K\) .
Observe that \(K//H\cong J\)  and \(H\)  is a subhypergroup of \(K=H\vee J\)  but that \(J\)  is not unless
either \(H\)  or \(J\)  is trivial [1]}.
As proved in [2]},
\(\widehat{K}= \widehat{H}\cup \widehat{J} \) ,
where \(\widehat{H}\cap \widehat{J}=\lbrace 1\rbrace \) . The latter holds
in the sense of hypergroup
isomorphism, \(\widehat{K}\cong \widehat{H}\vee \widehat{J}\) ,
if \(H\)  and \(J\)  are strong hypergroups. In
this case \(K\)  is a
strong hypergroup as well.
