A principal $G$-bundle, where $G$ denotes any topological group, is a fiber bundle $π:P → X $together with a continuous right action $P × G → P$ such that $G$ preserves the fibers of $P$ and acts freely and transitively on them