Kernel
Definition
For a homomorphism between algebraic structures (or a linear map between vector spaces), the kernel is the subset of the domain mapped to the identity element (or zero) of the codomain; it measures the morphism's failure to be injective.