Funció exhaustiva: diferència entre les revisions

*Per a qualsevol conjunt ''X'', la [[funció identitat]] id_''X'' de ''X'' és suprajectiva.

*La funció ''f'': '''R'''ℝ → '''R'''ℝ definida per ''f''(''x'') = 2''x'' + 1 és suprajectiva, perquè per a cada nombre real ''y'' es té ''f''(''x'') = ''y'' on ''x'' és (''y'' - 1)/2.

*La funció [[logaritme natural]] En:&nbsp;<nowiki>(0,+∞)</nowiki>&nbsp;→&nbsp;'''R'''ℝ és suprajectiva.

*La funció ''f'':&nbsp;'''Z'''ℤ&nbsp;→&nbsp;'''{0,1,2,3}''' efinidadefinida per ''f''(''x'') = ''x'' '''[[AritmèticAritmètica modular|mòdul]]''' 4 és suprajectiva.

*La funció ''g'':&nbsp;'''R'''ℝ&nbsp;→&nbsp;'''R'''ℝ definida per ''g''(''x'')&nbsp;= ''x''² ''no'' és suprajectiva, perquè (per exemple) no hi ha cap nombre real ''x'' tal que ''x''²&nbsp;=&nbsp;&minus;1. Ara bé, si el codomini es defineix com <nowiki>[0,+∞)</nowiki>, llavors ''g'' és suprajectiva.