Funció exhaustiva
From Wikipedia, the free encyclopedia
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.[1] És a dir, els valors de la funció abasten completament el codomini; això és: per a cada element y del codomini, hi ha almenys un x del domini tal que .[2][3]
Dit d'una altra manera, una funció f: X → Y és exhaustiva si i només si el seu recorregut f(X) és igual al seu codomini Y.
Les funcions exhaustives que també són injectives s'anomenen funcions bijectives.[4][5]