Definition:Aggregate
From ProofWiki
Definition
An aggregate is a more-or-less informal term for a collection.
It is sometimes used to mean a set, but the usual implication is that there is usually some additional structure to the collection than mere membership.
