Let π : P → X be a principal G-bundle.
π : P → X を主 G 束とする。