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.