Kernel of a function/Definition

The equivalence relation on the domain of a function defined by elements having the same function value: the partition of the domain into fibres of a function.