)In a Grothendieck category, any family of subobjects formula_59 of a given object formula_17 has a supremum (or "sum") formula_61 as well as an infimum (or "intersection") formula_62, both of which are again subobjects of formula_17.