A köteg egy hármas , ahol van egy topologikus tér , amelyet a köteg terének (valamint egy teljes vagy szálas térnek is neveznek ), egy másik tér, amelyet a köteg alapjának neveznek, egy folyamatos szürjektív leképezés ( a köteg vetülete ) térből térbe . A köteget gyakran leképezésnek vagy térnek nevezik .
Minden egyes elemnél az elem feletti réteg az elem összes előképének részhalmazaként van definiálva , azaz . Ennek megfelelően a köteg az alap által paraméterezett és a tértopológia által összeragasztott rétegek uniója .
Az azonos leképezést a köteg szakaszának nevezzük ,
Általában bizonyos típusú kötegeket tanulmányoznak, például sima kötegeket vagy helyileg triviális kötegeket .
Egy köteget triviálisnak nevezünk (közvetlen szorzatnak tűnik), ha a tere homeomorf egy direkt szorzathoz, és a vetületet kanonikus módon adjuk meg:
Ennek megfelelően egy olyan köteget, amely lokálisan (az elemek bizonyos környezetében) közvetlen terméknek tűnik, helyileg triviális kötegnek nevezzük .
Egy lokálisan triviális köteg zökkenőmentesnek mondható, ha az átmeneti függvények zökkenőmentesek .
A vektorköteg egy vektorterek családjának leképezése egy másik térre (topológiai térre, sokaságra stb.) oly módon, hogy a tér minden pontja olyan vektortérhez van társítva, amelynek egyesülése azonos típusú teret alkot. mint . Az így kialakult vektorterek családját a feletti vektorköteg terének nevezzük .
Egy (sima) sokaság érintőkötege egy sima vektorköteg, ahol az érintőterek uniója a vektorterek családjaként működik (a vektorköteg tere) , és maga a sokaság a köteg alapja.
Néhány további speciális rosttípus: Gurevich -szál , Seifert -szál , Serre -szál , Hopf -szál .