同値関係
写像 f の同値核 (equivalence kernel) あるいは f に付随する同値関係とは、
x ∼ y ⟺ f ( x ) = f ( y ) {\displaystyle x\sim y\iff f(x)=f(y)}
で定義される関係 ~ を言う。