Base-point-free linear system
= Base-point-free linear system
= Base-point-freeness of a linear system
{synonym}
A linear system is base-point-free if its sections have no common zero. Their ratios then define an everywhere-defined morphism to projective space whose hyperplane pullbacks are members of the original system.