Mengenlehre
Set theory begins with a fundamental binary relation between an object and a set . If is a "member" (or "element") of , the notation is used. A set is described by listing elements separated by commas, or by a characterizing property of its elements, within braces { }. Since sets are objects, the membership relation can relate sets as well.