ID: set builder notation with X such that X is not an element of X.