SETOF: Relation Between Plurality and Governing Predicative Concept

Definition: The statement (g SETOF c) establishes the connection between a set g, i.e. an entity of the preextensional level, and a generic concept c, meaning that all elements of g are entities which are subordinate to the concept c.