Definición equivalente de igualdad de conjuntos.