Definition A.12.

Let \(L\) be a class of morphisms of a presentable category \(C\). We say \(L\) is strongly saturated if it is saturated and closed under 2-out-of-3.