Nowhere-zero section (source code)

= Nowhere-zero section

A nowhere-zero section of a vector bundle is a section $s$ with $s(x)\ne0$ in every fiber. Every trivial vector bundle of positive rank has one.