Full Idea
The 'general product' or 'nucleus' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'πx(Fx)', read as 'the product of objects satisfying F'.
Gist of Idea
General product: the nucleus of all objects satisfying a predicate, written πx(Fx)
Source
Peter Simons (Parts [1987], 1.1.08)
Book Reference
Simons,Peter: 'Parts: a Study in Ontology' [OUP 1987], p.15
A Reaction
See Idea 12825 for 'product'. 'Nucleus' is a helpful word here. Thought: is the general product a candidate for a formal definition of essence? It would be a sortal essence - roughly, what all beetles have in common, just by being beetles.