<?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="Extensionality - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=extensionality&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=logic">logic</a>, <b>extensionality</b>, or <b>extensional equality</b>, refers to principles that judge objects to be <a href="page.php?w=equality_%28mathematics%29">equal</a> if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.</p>

<p><big>In mathematics</big></p>
<p>The extensional definition of function equality, discussed above, is commonly used in mathematics.A similar extensional definition is usually</p><p>
<a accesskey="3" href="page.php?w=extensionality&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
