Axioma de extensionalidad.