El axioma de extensionalidad dice que dos conjuntos son iguales si y solo si tienen los mismos elementos.