[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Nesting/Unnesting Sets




The reason I am asking is because I have a set, say {a, b, c} which its elements are constants, and when I perform a union on this set with another set that contains the same elements I will get: {a, b, c, {a, b, c}}. But I expect the result to be {a, b, c}.

That shouldn't happen. If S = {a, b, c}, then S \union S = {a, b, c}. Are you accidentally writing S \union {S}?

If you have S = {{a}, {b}, {c}}, then UNION S = {a, b, c}.

H


Best Regards
AmirHossein

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAKxfy0sdTWMRETZEJkqUAVvVNspbC9VpRmXRtJJYa56-RkNNhA%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/dcc0ac19-a4d8-73fd-46c3-80ab939bbf47%40gmail.com.