1: \begin{definition}

2: 	A point $(\mu,0) \in \R \times X$ is called a bifurcation point for equation \eqref{eq:RabinowitzBiffurcationTheoremEquation} if every neighbourhood of $(\mu,0)$ contains a nontrivial solution of \eqref{eq:RabinowitzBiffurcationTheoremEquation}.

3: \end{definition}