Definition 10.42.1. Let $k$ be a field. Let $S$ be a $k$-algebra. We say $S$ is geometrically reduced over $k$ if for every field extension $k \subset K$ the $K$-algebra $K \otimes _ k S$ is reduced.

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