Entonces, ambos conjuntos poseen los mismos elementos, y los conjuntos quedan definidos únicamente por sus elementos, luego: