核

對於任意函式 （其中 和 是任意集合），核（也稱為零空間）定義為

因此，核給出了原始集合中被函式對映到零的元素。 因此是 子集

函式的相關像定義為

因此是 的子集。