Axioma de extensionalidad

En teoría de conjuntos, el axioma de extensionalidad es un axioma que establece que dos conjuntos son iguales si y sólo si tienen los mismos elementos.