Suppose that p(x) is the statement of all the criteria for set membership in terms of x. Then x is an element of the set A if p(x) is true. Otherwise, x fails the test (if p(x) is not true), and x is not an element of the set A. This interpretation is symbolized, and A itself can be defined as follows: A = {x: p(x)}.
