Definition 35.21.1. Let $\mathcal{P}$ be a property of germs of schemes. We say that $\mathcal{P}$ is étale local (resp. smooth local) if for any étale (resp. smooth) morphism of germs $(U', u') \to (U, u)$ we have $\mathcal{P}(U, u) \Leftrightarrow \mathcal{P}(U', u')$.

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).