polje: matematika
grana: matematička analiza
projekt: matematika_rest
glatka funkcija $f$ iz glatke mnogostrukosti $X$ u glatku mnogostrukost $E$, koja je prerez zadanog preslikavanja $p: E\to X$ u smislu da je kompozicija $p\circ f$ identička funkcija iz $X$ u $X$