Definition Given topological spaces and a topological group that acts on , a principal -bundle is a fiber bundle Such that the action of on preserves the fibers of and acts freely and properly such that the map is a homeomorphism.