ein Bündel (E, B, p, G) der folgenden Art:

(E, B, p) ist ein Tripel bestehend aus zwei topologischen Räumen E und B und einer stetigen surjektiven Abbildung p : E → B sowie einer topologischen Gruppe G von Homöomorphismen eines Raums F auf sich selbst, und einer offenen Überdeckung (U_i)_i∈I des sogenannten Basisraumes B so, daß folgendes gilt:

• Das Bündel ist lokal trivial, d. h. für jedes U_i ist p⁻¹(U_i) homöomorph zum topologischen Produkt U_i × F. Der Homöomorphismus ϕ_i von p⁻¹(U_i) auf U_i × F ist dabei von der Form \({\phi }_{i}(e)=(p(e),{h}_{i}^{P}(e))\), wobei e ein Element von p⁻¹(P) ist, P = p(e) ein Element von B und \({h}_{i}^{P}\) ein Homöomorphismus von der Faser p⁻¹(P) auf F.
• Ist ein Element P von B in zwei offenen Mengen U_i und U_j enthalten, so ist der Homöomorphismus \({h}_{i}^{P}({({h}_{j}^{P})}^{-1})\) von F auf F ein Element der Gruppe G, wobei \({h}_{i}^{P}\) und \({h}_{j}^{P}\) Homöomorphismen von p⁻¹(P) auf F sind.
• Die Abbildungen, welche jedem Element P von U_i ∩ U_j das Element \({h}_{i}^{P}({({h}_{j}^{P})}^{-1})\) von G zuweisen, sind stetig.