**Theorem 6.** U *preserves images.*

**Proof.** As U preserves all finite limits, it preserves monics. On the other hand, it also preserves epics since every functor preserves split epics and every epic in S is split epic (axiom of choice). Hence, the image, which is nothing but the epi-mono factorization, is preserved.
