核 (代数学)
A, B を同種の構造をもつ集合とし、f : A → B を構造を保つ準同型とする。このとき、準同型 f の核 Ker(f) は
Ker  f := { ( a 1 , a 2 ) ∈ A × A ∣ f ( a 1 ) = f ( a 2 ) } {\displaystyle \operatorname {Ker} f:=\{(a_{1},a_{2})\in A\times A\mid f(a_{1})=f(a_{2})\}}
で定義される A × A の部分集合である。したがって、Ker(f) は始域の集合 A における二項関係を定める。この関係は(構造と両立する)同値関係になる。核 Ker(f) が自明であるとは Ker(f) = Δ(A) なることをいう。ここで、Δ(A) は対角線集合 {(a, a) | a ∈ A} である。これは Ker(f) が定める A の二項関係は恒等関係 (equality) であるというのと同じことである。