From ProofWiki
Jump to navigation Jump to search


A collection is an aggregation of objects whose nature is arbitrary.

The precise nature and structure of the collection itself is left unspecified.

Hence the word collection can be conveniently used for an aggregation which may be either a set or a class, and such that whatever is being said about it applies to both.