<p>Eine weitere Möglichkeit ist das Paket <a href="http://www.ctan.org/pkg/tcolorbox"><code>tcolorbox</code></a> mit vielen Einstellmöglichkeiten:</p>
<pre><code>\documentclass{article}
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{mathtools,amssymb,lipsum}
\usepackage[theorems]{tcolorbox}
% Shorthands
\newcommand*\iffdef{\overset{\text{def}}{\iff}}
\DeclarePairedDelimiter\abs{\lvert}{\rvert}
\DeclarePairedDelimiter\norm{\lVert}{\rVert}
%Theorem
\tcbset{
defstyle/.style={
fonttitle=\sffamily\bfseries,
arc=0mm,
colback=white,
colframe=red,
separator sign none
}
}
\newtcbtheorem[number within=subsection]{Def}{Definition}{defstyle}{def}
\begin{document}
\setcounter{section}{2}
\setcounter{subsection}{4}
Verweis auf die Definition \ref{def:beispieldef} und weiterer Text: \lipsum[66]
\begin{Def}{}{beispieldef}
% 2.Argument: Titel der Definition (hier leer),
% 3.Argument für Labeldefinition (hier Verweis mit \ref{def:beispieldef} möglich)
Eine Teilmenge $\tilde{G}\subset C(\tilde{I},\mathbb{R}^n)$, wobei
$\tilde{I} \subset \mathbb{B}$ abgeschlossen und beschränkt ist, ist
\emph{gleichgeradig stetig} $\iffdef$
\begin{equation*}
\forall_{\varepsilon > 0}\;
\exists_{\delta_\varepsilon > 0}\;
\forall_{\substack{t',t'' \in \tilde{I}\\ \hidewidth\abs{t'-t''} < \delta_\varepsilon\hidewidth}}
\quad{\color{red![alt text][2]}\forall_{f\in\tilde{G}}}\;
\quad{\color{red}\forall_{f\in\tilde{G}}}\;
\norm{f(t') - f(t'')}_{\mathbb{R}^n} < \varepsilon
\end{equation*}
\end{Def}
\lipsum[66]
\end{document
</code></pre>
\end{document}
<p><img src="http://texwelt.de/wissen/upfiles/tcolorbox_3.png" alt="alt text" title="" /></p>