Definition:Aggregate

From ProofWiki
Jump to: navigation, search

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.