O-minimal
definable groups
definable Cr groups
definable fiber bundles
definable Cr fiber bundles
definable G vector bundles
definable CrG vector bundles
Let G and K be definably compact subgroups of orthogonal groups and 0 ≦ r < ∞. We prove that every definable fiber bundle over an affine definable Cr manifold whose structure group is K admits a unique strongly definable Cr fiber bundle structure up to definable Cr fiber bundle isomorphism.