<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Bijection - Page 21 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Bijection&amp;p=20">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Bijection&amp;p=22">3.Next</a>
</p>
<p>the composition  of two functions is bijective, it only follows that f is <a href="page.php?w=Injective_function">injective</a> and g is <a href="page.php?w=surjective_function">surjective</a>.</p>

<p><big>Cardinality</big></p>
<p>If X and Y are <a href="page.php?w=finite_set">finite set</a>s, then there exists a bijection between the two sets X and Y <a href="page.php?w=if_and_only_if">if and only if</a> X and Y have the same number of elements. Indeed, in <a href="page.php?w=axiomatic_set_theory">axiomatic set theory</a>, this is taken as the definition</p><p>
<a accesskey="1" href="page.php?w=Bijection&amp;p=20">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Bijection&amp;p=22">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
