The frame bundle F(E) can be constructed from E as above, or more abstractly using the fiber bundle construction theorem.
标架丛 F(E) 可如上由 E 构造出来，或更抽象地利用纤维丛构造定理（fiber bundle construction theorem）。