In algebra, the local criterion for flatness gives conditions one can check to show flatness of a module.