用编号方程定义

Question

我正在尝试用两个编号的方程式做出定义。但定义和方程式之间的空间很大。我想我不必将定义和方程式环境分开。

\begin{definition*}
\textbf{(A-diag)} : Some text for the definition
\end{definition*}
\begin{equation}
       (\forall \varepsilon > 0) (\exists N \in \mathbb{N})(\forall s \in \psi (\Sigma_{f_{i}}) \wedge n \geq N)     
    \label{def:a-diag}
\end{equation}
where the diagnosability condition function D is as in logical diagnosability.
\begin{equation}
    D(st) = 1
\label{def:a-diag-D}
\end{equation}

Answer 1

两个方程式都应包含在definition正文中。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amssymb}

\theoremstyle{definition}
\newtheorem*{definition}{Definition}

\begin{document}

\begin{definition}
\textbf{(A-diag)}: Some text for the definition
\begin{equation}
       (\forall \varepsilon > 0) (\exists N \in \mathbb{N})(\forall s \in \psi (\Sigma_{f_{i}}) \wedge n \geq N),     
    \label{def:a-diag}
\end{equation}    
where the diagnosability condition function $D$ is as in logical diagnosability.
\begin{equation}
    D(st) = 1.
\label{def:a-diag-D}
\end{equation}
\end{definition}

\end{document}

结果：