That is conventional set subtraction notation. "Assign to X the same set minus all elements of the set {a_i}".

One example source, but it is pretty common in general: http://www.mathwords.com/s/set_subtraction.htm

Set difference.

Set X becomes X without element ai. This is the case whether ai was in the set X before the step was taken.