\begin{definition}[Definition:Algorithm]
An '''algorithm''' is a finite set of '''instructions''' (or '''rules''') that defines a sequence of '''operations''' for solving a particular '''computational problem''' for all '''problem instances''' for some '''problem set'''.
An '''algorithm''' must have the following properties:
\end{definition}