Algebraic Geometry
《Algebraic Geometry》 · 第 157 页 · Chapter II，Section 7「The Projective Morphism」
A complete linear system on a nonsingular projective variety is defined as the set (maybe empty) of all effective divisors linearly equivalent to some given divisor $D_0$. It is denoted by $|D_0|$.