最初に、π1:U×G→U,π2:U×G→G{\displaystyle\pi_{1}:U\timesG\toU,\quad\pi_{2}:U\timesG\toG}を射影写像とする。
首先设π1:U×G→U,π2:U×G→G{\displaystyle\pi_{1}:U\timesG\toU,\quad\pi_{2}:U\timesG\toG}是投影映射。