定義
X、Y を束とする。
f：X → Y を束の準同型とする。
Y が最小元 0 を持つとき Ker(f) = {x ∈ X； f(x) = 0} と書き、f の核(kernel)と呼ぶ。