equaliser
set of arguments where two or more functions have the same value
inclusion map
or inclusion function, or canonical injection
kernel
generalization of the kernel of a homomorphism in category theory
set of arguments where two or more functions have the same value