セットを定義する多重アライメントの問題

Question

複数行でセットを定義するときに問題があります。セットは次のとおりです。

問題は、このように書くと余白からはみ出してしまうことです。このセットを複数の行で定義したいのですが、配置はそれぞれ異なります。私が言いたいのは、

alignとのさまざまな組み合わせを試しましたalignatが、適切なものを見つけることができませんでした。ありがとうございます!

Answer 1

alignedこれには内部形式を使用できます

\documentclass{article}

\usepackage{amsmath}

\begin{document}
\begin{align*}
\psi_t(v_t)
&= \bigl\{ (\psi_s)_{s=t,\dots,T-1} :
   \begin{aligned}[t]
   &S_t^\top \psi_t=v_t, \; \psi_t \in \Phi_t , \\
   &S_s^\top \psi_{s-1}=S_s^\top \psi_s, \; \psi_s \in \Phi_s , \; s=t+1,\dots,T-1 \bigr\}
   \end{aligned} \\
&= bla bla bla
\end{align*}
\end{document}