En la teoría abstracta proviene de una condición descendente sobre un fibrado vectorial.