s will be expressed by

, in which

is an elective symbol appropriate to a class

, some members of which are

s, but which is in other respects arbitrary. Thus the proposition