Lemma 42.22.2. Let (S, \delta ) be as in Situation 42.7.1. Let X be a scheme locally of finite type over S. If f : Y \to X and g : Z \to Y are envelopes, then f \circ g is an envelope.
Lemma 42.22.2. Let (S, \delta ) be as in Situation 42.7.1. Let X be a scheme locally of finite type over S. If f : Y \to X and g : Z \to Y are envelopes, then f \circ g is an envelope.
Proof. Follows from Morphisms, Lemma 29.41.4 and More on Morphisms, Lemma 37.78.2. \square
Comments (0)