映射到单位元的那部分定义域.
比如说f:R->R,f(x)=x,kerf={0}
再比如f:R->R+,f(x)=e^x,kerf={0}
再比如f:Z->Z3,f(x)=x mod 3,kerf={3n|n∈Z}
单位元是与其他元素运算时,结果是与它运算的那个元素.比如第一个例子中的0,0+a=a.第二个元素中的1,1*a=a.第三个例子中的0(mod3),0+a(mod3)=a(mod3)