Definition 35: Kernel

35