En las matemáticas, el extensionality refiere generalmente a una cierta forma del principio, volviendo al Leibniz, que dos objetos matemáticos son el igual si no hay prueba para distinguirlos. Por ejemplo, dado dos el el f de las funciones matemáticas y el g, podemos decir que son iguales si f ( x ) del

l = g ( x )

para todo el x en el común X del dominio de la función. Esta igualdad extensional es la definición generalmente si el Y de la gama de la función es también campo común a las dos funciones. Si, por una parte, distinguimos funciones por los datos atados a ellos en el tipo sentido de la teoría, de modo que pudiéramos por ejemplo elegir un más grande Z del sistema como gama para uno de ellos, que la igualdad no está en el mismo extensional del sentido. Ése es un sentido en el cual el extensionality puede fallar. Otro es esa consideración del proceso del por el cual una función es computado, si está considerada, contradirá generalmente extensionality.

En la teoría determinada axiomática, el extensionality se expresa en el axioma de la extensión, que indica que dos sistemas son igual si y solamente si ellos contienen los mismos elementos. En el cálculo de la lambda, el extensionality es expresado por la regla de la eta-conversión, que permite la conversión entre cualquier dos expresiones que denote la misma función.