公式な言い方をすると、Eは構造群Gを持つファイバーバンドルであり、構造群の典型的なファイバーは、その上にGL(k)の部分群として自然なGの作用を持つRkである。
正式地讲，E是一个结构群为G，典型纤维Rk上有G作为GL(k)子群的自然作用的纤维丛。