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