Implementation of mathematics in set theory: Difference between revisions

Content deleted Content added
Line 129:
its converse is also a function.
 
If A and B are sets, a

* an <strong>bijectioninjection from A to B</strong> is an injection whose ___domain is A and whose range is a subset of B.
 
A and whose
* a <strong>surjection</strong> from A to B is a function whose ___domain is A and whose range is B.
 
* a <strong>bijection from A to B</strong> is an injection whose ___domain is A and whose range is B.
 
Notice that our terminology here adjusts for the fact that functions as we have defined
them do not determine their codomains.