である.ここで直極限は x を含むすべての開集合で添え字付けられ,順序関係は逆包含から誘導される( U ⊃ V のとき U < V).直極限の定義(あるいは普遍性)により,茎の元は元 x U ∈ F ( U ) の同値類である,ただし2つのそのような切断 xU と xV は2つの切断の制限が x のある近傍上で一致するときに同値であると考える.
別の定義
茎を定義するある文脈では有用な別のアプローチがある.X の点 x を選び,i を一点空間 {x} の X への埋め込みとする.すると茎 F x は層 i ? 1 F の逆像(英語版)と同じである.一点空間 {x} の開集合は {x} と Φ しかなく,空集合にはなんのデータもないことに注意.しかしながら,{x} 上,次を得る:
i ? 1 F ( { x } ) = lim → U ⊇ { x } ? F ( U ) = lim → U ∋ x ? F ( U ) = F x .