Definition 63.27.1. A subgroup of the form $\text{Stab}(\overline y\in F_{\overline{x}}(Y))\subset \pi _1(X, \overline{x})$ is called open.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).