\begin{definition}[Definition:Collection]
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.
\end{definition}