гомотопически подчиненный

Мат. homotopically dependent