 Frege took advantage of his second-order language to define what it is for an object to be a member of an extension or set. Although Frege used the notation \(x \cap y\) to designate the membership relation, we shall follow the more usual practice of using \(x\in y\). Thus, the following captures the main features of Frege’s definition of membership in Gg I, §34:[2]