El axioma de extensionalidad establece las condiciones de igualdad entre conjuntos.