Chapter 3. The Logic of Relatives (cont.)

§2. Relatives (cont.)

220.   Every relative, like every term of singular reference, is general;  its definition describes a system in general terms;  and, as general, it may be conceived either as a logical sum of individual relatives, or as a logical product of simple relatives.  An individual relative refers to a system all the members of which are individual.  The expressions

may denote individual relatives.  Taking dual individual relatives, for instance, we may arrange them all in an infinite block, thus,

In the same way, triple individual relatives may be arranged in a cube, and so forth.  The logical sum of all the relatives in this infinite block will be the relative universe, where

whatever dual relative may be.  It is needless to distinguish the dual universe, the triple universe, etc., because, by adding a perfectly indefinite additional member to the system, a dual relative may be converted into a triple relative, etc.  Thus, for lover of a woman, we may write lover of a woman coexisting with anything.  In the same way, a term of single reference is equivalent to a relative with an indefinite correlate;  thus, woman is equivalent to woman coexisting with anything.  Thus, we shall have