Kernel of a function
From Citizendium, the Citizens' Compendium
If then we define the relation by
The equivalence classes of are the fibres of f.
Every function gives rise to an equivalence relation as kernel. Conversely, every equivalence relation on a set X gives rise to a function of which it is the kernel. Consider the quotient set of equivalence classes under and consider the quotient map defined by
where is the equivalence class of x under . Then the kernel of the quotient map is just . This may be regarded as the set-theoretic version of the First Isomorphism Theorem.