 Image of a morphism in a regular category

In a regular category, the image of $f:A\to B$ is the monomorphism in its essentially unique factorizationas a regular epimorphism followed by a monomorphism. Images are stable under pullback.