. "If P is a set and x is an element of P, we write x 2 P. A set is usually described in one of the two following ways: _ By enumeration, e.g. f1; 2; 3g denotes the set consisting of the numbers 1; 2; 3 and nothing else; _ By a de_ning property (sentential function) p(x)." . . . .