Saturated class

Let \(L\) be a class of morphisms of a presentable category \(C\). We say that \(L\) is saturated if it contains all isomorphisms, is closed under composition, and the subcategory of \(\Ar(C)\) spanned by the morphisms in \(L\) is closed under colimits.