Calculates the kernel of a morphism, either for its domain or for a subset of its domain.
The morphism
Optional
The subset of the domain (optional, defaults to the domain)
Calculates the kernel of a morphism, either for its domain or for a subset of its domain.