Suppose you want to typeset a list of conditions in a theorem.
It's easy. You just use the enumerate environment.
Each condition is introduced by the command \item.
For instance,
\begin{enumerate}
\item $M$ is complete
\item $f$ is proper
\end{enumerate}
produces