kernel

ある射 f: A \to Bの核（kernel） \ker fとは零点に写るような点の集合を言う

\ker f = { a \in A | f(a) = O \in B }