Principio de Extensionalidad

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.