<?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="Classification theorem - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=Classification_theorem&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=mathematics">mathematics</a>, a <b>classification theorem</b> answers the <a href="page.php?w=classification">classification</a> problem: "What are the objects of a given type, up to some <a href="page.php?w=Equivalence_relation">equivalence</a>?". It gives a non-redundant <a href="page.php?w=enumeration">enumeration</a>: each object is equivalent to exactly one class.</p>

<p>A few issues related to classification are the following.</p>

<p>
*The equivalence problem is "given two objects, determine if they are equivalent".<br/></p><p>
<a accesskey="3" href="page.php?w=Classification_theorem&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
