I need to find the name and symbol for difference/complement, but the other way around?
to illustrate:
G1 = {a,b,c} M = {b,c,d} G1 ∪ M = {a,b,c,d} #union G1 ∩ M = {b,c} #intersection G1 \ M = {a} #difference G1 ∆ M = {a,d} #symmetric difference G1 ? M = {d} # ????
If I understand correctly, then usually you'd just do M/G1, however this is for use in a stateful protocol where G1 is the current state, M is the message being sent along with the operation (one of the above) to be executed on it to change the state to n+1.
So what's ? in the above?
Many thanks in advance, and hope I don't sound too dim!