对齐公式的一部分

Question

我想将集合内公式的第一部分左对齐。我尝试使用对齐，但它与大括号配合不好。这是我的代码

\documentclass{report}
\usepackage{amsmath}
\DeclareMathOperator{\Spec}{Spec}
\usepackage[margin=1.5cm]{geometry}
\begin{document}
$\forall U\subset_d \Spec A,$
$$\mathcal{O}(U)=\left\{s:U\rightarrow\bigsqcup_{p\in U}A_p \mid  
\begin{matrix}  
\forall p\in U, s(p)\in A_p\\ 
\forall p\in U, \exists V\in\mathcal{V}(p), V\subset U, \exists a,f\in A, \text{ astfel \^inc\^at } \forall q\in V, f\notin q, s(q)=\frac{a}{f} \text{ \^in }A_q
\end{matrix}
\right\}$$
\end{document}`

这是我正在尝试实现的图片：

Answer 1

您可以使用aligned：

\documentclass{report}
\usepackage[margin=1.5cm]{geometry}
\usepackage{amsmath}

\DeclareMathOperator{\Spec}{Spec}

\begin{document}

$\forall U\subset_d \Spec A$,
\[
\mathcal{O}(U)=
\biggl\{s\colon U\rightarrow\bigsqcup_{p\in U}A_p
\;\bigg|\;
\begin{aligned}
&\forall p\in U, s(p)\in A_p\\
&\forall p\in U, \exists V\in\mathcal{V}(p), V\subset U, \exists a,f\in A,
  \text{ astfel \^inc\^at } \forall q\in V, f\notin q, s(q)=\tfrac{a}{f} \text{ \^in }A_q
\end{aligned}
\biggr\}
\]

\end{document}

一些注释。

1. 标点符号应位于内联公式之后
2. \left\并\right在这种情况下给出太大的分隔符
3. $$永远不应该在 LaTeX 中使用
4. \tfrac不用来制造大分数