Very ample divisor (source code)

= Very ample divisor

A <very ample divisor> is a divisor whose associated <line bundle> is a <very ample line bundle>. A divisor is very ample when its complete linear system defines a closed embedding into projective space.