We’ll talk about ampleness in algebraic geometry and related concepts such as base-point free, very ample, etc. A line bundle on a variety induces a rational map to projective space, and these properties basically characterize how good the map is.

Let $X$ be a scheme over field $K$.