x \ y := {z in x: z not in y}
The set of all elements in x but not in y.
P(x) := {y: y subset x}
The set of all subsets of x.