
-- компактное хаусдорфово топологическое пространство,

-- сюръективный локальный гомеоморфизм,

-- подмножество. Докажите, что любое непрерывное сечение

,

, продолжается до непрерывного сечения над открытой окрестностью

в

, или придумайте контрпример.