olemus
Wiktionary:
9. (mathematics) a set of pairs of a mapping's domain which are mapped to the same value

(a) üldistes algebrasüsteemides:
selline morfismiga f seotud binaarne seos
algebralise süsteemi elementide vahel,
mille puhul elemendid a ja b on seotud (tuuma mõttes)
parajasti siis, kui f(a) = f(b)

(b) rühmateoorias:
ka kõigi (sihtrühma) ühikelemendiks kujutuvate
(lähterühma) elementide hulk

(c) ringiteoorias:
ka kõigi (sihtringi) nullelemendiks kujutuvate
elementide hulk

ülevaateid
https://math.stanford.edu/~vakil/0708-216/216class03.pdf

https://en.wikipedia.org/wiki/Kernel_(category_theory)

https://www.encyclopediaofmath.org/index.php/Kernel_of_a_morphism_in_a_category

https://ncatlab.org/nlab/show/kernel