Tu peux faire un nouvel environement de theorem que tu appelle definition. Par exemple j'utilise toujours des environement lemma, claim, corollary...
dans le preambule:
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{fact}[theorem]{Fact}
dans le texte:
\begin{corollary}
the foo algorithm has that weird property
\end{corollary}
de la doc:
http://www.emerson.emory.edu/services/latex/latex_21.html