Definition 27.26.1. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. We say $\mathcal{L}$ is *ample* if

$X$ is quasi-compact, and

for every $x \in X$ there exists an $n \geq 1$ and $s \in \Gamma (X, \mathcal{L}^{\otimes n})$ such that $x \in X_ s$ and $X_ s$ is affine.

## Comments (2)

Comment #2689 by Matt Stevenson on

Comment #2716 by Takumi Murayama on