Given a quasi-compact quasi-separated scheme "X", a family of invertible sheaves formula_1 on it is said to be an ample family if, for each formula_2 and each integer formula_3, the open subsets formula_4 form a base of the (Zariski) topology on "X"; in other words, those open sets are an open affine cover of "X".