Definition:Noetherian Scheme

Definition

Let $\struct {X, \OO_X}$ be a scheme.

Then $\struct {X, \OO_X}$ is noetherian if and only if $\struct {X, \OO_X}$ is locally noetherian and quasi-compact.