Implementation of mathematics in set theory: Difference between revisions

Revision as of 18:32, 24 August 2022

Revision as of 21:39, 30 September 2024

Line 103:

=== Special kinds of function ===

A function is an '''[[injective]]''' (also called '''[[bijection|one-to-one]]''') if it has an inverse function.

A function <math>f</math> from <math>A</math> to <math>B</math> is a:

* '''[[Injective function|Injection]]''' from <math>A</math> to <math>B</math> if the [[image (mathematics)|image]]s under <math>f</math> of distinct members of <math>A</math> are distinct members of <math>B</math>.