\begin{definition}[Definition:Operation]
An '''operation''' is an object, identified by a symbol, which can be interpreted as a process which, from a number of objects, creates a new object.
\end{definition}