Terminology 1: The notion of a class is undefined. Arbitrary classes may be represented by symbols called variables. Given variables x and y , (x \in y) will be interpreted as a membership statement, asserting x is an element (or member) of y . We may also say x is in y , or y contains x , or similar. The parenthesis may be omitted should no confusion arise.