## [Principio de Extensionalidad](/es/node/60008) Definición El principio de que dos objetos matemáticos (conjuntos, relaciones, funciones) son idénticos exactamente cuando coinciden en sus extensiones: los conjuntos tienen los mismos miembros, las funciones dan las mismas salidas para todas las entradas, las relaciones se satisfacen de los mismos n‑tuplas. ## Principio Principio La identidad se determina extensionamente: la igualdad se reduce al acuerdo en pertenencia o comportamiento entrada–salida en lugar de a propiedades intensionales o descriptivas. ## Demostración Demostración En la teoría de conjuntos de Zermelo–Fraenkel, el axioma de extensionalidad establece que si cada elemento de x es elemento de y y viceversa, entonces x = y; en teoría de funciones, la extensionalidad funcional afirma f = g si y sólo si para todo x, f(x)=g(x). ## Aplicación incorrecta Aplicación incorrecta Aplicar la extensionalidad donde importan distinciones intensionales o hiperrintensionales (por ejemplo, tratar como idénticos contenidos cognitivos, sentidos o textos de programas cuando sus extensiones coinciden o divergen de forma inapropiada). ## Consecuencia Consecuencia Sustenta el razonamiento estándar sobre igualdad en teoría de conjuntos, álgebra y programación funcional: permite reemplazo, simplificación e identificación abstracta basadas sólo en el comportamiento extensional. ## Inversión Inversión Los análisis intensionales o hiperrintensionales invierten el principio manteniendo distinciones entre objetos que coinciden extensionamente pero difieren en modo de presentación, contenido computacional o sentido fino. ## Límite Límite Válido en marcos matemáticos extensionales (teoría de conjuntos, teorías de tipos extensionales, muchos contextos algebraicos); no se aplica sin modificaciones a lógicas intensionales, semánticas intensionales de orden superior o situaciones que requieren discriminación hiperrintensional. ## Tensión semántica Tensión semántica Tensión entre conveniencia matemática y fidelidad representacional: la extensionalidad simplifica la identidad y el razonamiento pero puede ocultar distinciones importantes para el significado, el cálculo o los roles cognitivos. ## Síntesis Síntesis La extensionalidad es el criterio canónico de identidad para muchos sistemas formales: reduce la identidad al comportamiento observable (pertenencia o entrada–salida), posibilitando un potente razonamiento ecuacional y provocando tratamientos alternativos donde las diferencias intensionales o hiperrintensionales sean relevantes.