Thus $ f!subseteq!g $ precisely when $ f $ factors through $ g $ . The inclusion relation on subobjects is 1. reflexive ; $ f!subseteq!f $