核

对于任意函数 （其中 和 是任意集合），核（也称为零空间）定义为

因此，核给出了原始集合中被函数映射到零的元素。 因此是 子集

函数的相关像定义为

因此是 的子集。