A rationally connected variety, in the smooth projective complex setting, is a connected variety
such that two general points lie on the image of a morphism . Here general means that the property holds for all
pairs in a nonempty Zariski open subset of . Projective spaces are examples, since any two points
lie on a projective line.
A holomorphic subbundle is integrable when its local holomorphic sections are closed
under the Lie bracket.