Faithfully Flat Descent

An algebraic and geometric technique that allows objects, properties, or morphisms defined after base-change along a faithfully flat morphism to be descended back to the original base when compatible glueing (descent) data are satisfied; faithfulness and flatness ensure exactness and reflection of properties.