映射到單位元的那部分定義域.
比如說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}
單位元是與其他元素運(yùn)算時,結(jié)果是與它運(yùn)算的那個元素.比如第一個例子中的0,0+a=a.第二個元素中的1,1*a=a.第三個例子中的0(mod3),0+a(mod3)=a(mod3)