对齐 + 案例模式下的坏框

Question

您是否有什么美观的建议来解决以下公式给出的坏盒？

\documentclass[11pt, english, oneside, a4paper]{book}
\usepackage{amsmath}
\usepackage{enumerate}
\newtheorem{proof}{Proof}
\begin{document}
\begin{proof}
text blablabla text blablabla text blablabla text blablabla text blablabla text blablabla text blablabla 
\begin{enumerate}
\item blablabla
\begin{enumerate}
\item \begin{align*}
\nu : \pi[N] & \rightarrow  N \\
\pi(x) &\mapsto \begin{cases}
          \pi^{-1}(\pi(x))=x & \text{ if } x \in o \\
          \{\nu(\pi(y)): \pi(y) \in \pi(x) \}= \{y : \pi(y) \in   \pi(x)\}=x & \text{ otherwise }
         \end{cases}
\end{align*}
\end{enumerate}  
\end{enumerate}
\end{proof}
\end{document}

一个解决方案是

    \begin{align*}
   \nu : \pi[N] & \rightarrow  N \\
   \pi(x) &\mapsto \begin{cases}
      \pi^{-1}(\pi(x))=x & \text{ if } x \in \on\\
      \{\nu(\pi(y)): \pi(y) \in \pi(x) \}= & \\
      \{y : \pi(y) \in \pi(x)\}=x & \text{ otherwise }
     \end{cases}
 \end{align*}

但我不喜欢这个结果...

Answer 1

这适合你吗？

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\begin{align*}
   \nu \colon \pi[N] & \longrightarrow N \\
   \pi(x) &\longmapsto \begin{cases*}
          \pi^{-1}(\pi(x))=x & if x $ \in \text{on}$\\[0.3ex]
          \begin{multlined}[b]\{\nu(\pi(y)): \pi(y) \in \pi(x) \}\\[-0.2ex]= \{y : \pi(y) \in \pi(x)\}=x \end{multlined}& otherwise
         \end{cases*}
  \end{align*}

\end{document}