 Given the definition of extensions of relations this is the version of the no-classes theory for relations. After attending classes of Russell the year before, and having several discussions, Norbert Wiener (1914) proposed the following definition (in modern notation):