En matemàtiques, es diu que una funció f entre dos conjunts és exhaustiva (també dita epijectiva, suprajectiva o surjectiva) quan tot element del conjunt d'arribada és imatge d'almenys un element del domini.