The local criterion for flatness is a condition in algebraic geometry and commutative algebra that helps determine when a morphism (or ring homomorphism) is flat. Flatness is an important property that relates to how properties of rings (or varieties) behave under base change.