Principal G Bundle

definition