If there is a bijection between two sets, then we say that they have the same [[cardinality]], or size.
If there is a bijection between two sets, then we say that they have the same [[cardinality]], or size.
−
Bijections between [[infinite]] sets are particularly interesting, as they produce some counterintuitive results. For instance, there is a bijection between the integers and the even integers that maps every integer x to the even integer 2x. Notice that this satisfies the definition of bijection, which then implies that the integers and the even integers have the same size.
+
Bijections between [[infinite]] sets are particularly interesting, as they produce some counterintuitive results. For instance, there is a bijection between the integers and the even integers that maps every integer x to the even integer 2x. Notice that this satisfies the definition of bijection, even though it would then seem to imply that the integers and the even integers have the same size. However, since both sets are of infinite size, it merely illustrates the idea that "infinity times two is infinity".
The existence of a bijection from one set to the other also implies that a converse bijection exists.
The existence of a bijection from one set to the other also implies that a converse bijection exists.