The Stacks project

Definition 28.5.1. Let $X$ be a scheme.

1. We say $X$ is locally Noetherian if every $x \in X$ has an affine open neighbourhood $\mathop{\mathrm{Spec}}(R) = U \subset X$ such that the ring $R$ is Noetherian.

2. We say $X$ is Noetherian if $X$ is locally Noetherian and quasi-compact.