How to achieve two levels of indentation inside align environment?
\documentclass{article}
\usepackage{parskip}
\usepackage{amssymb}
\usepackage[fleqn]{amsmath}
\begin{document}
Suppose we want to compute $\nu(u_1)$, we first consider $Y_1$.\\
So $Y_1=A\setminus S_1=\{\mathit{country}, \mathit{genre}\}$, and we have that:\\
\begin{align*}
\nu(u_1)&=\exists(\mathit{country}, \mathit{genre})(u\,'_1\wedge u\,'_2\wedge u\,'_3)\\
&=\exists(\mathit{country}, \mathit{genre})(
\!\begin{aligned}[t]
&\varphi\,'_1(\mathit{cd}, \mathit{member}, band)\wedge\\
& \varphi\,'_2(\mathit{cd},\mathit{member}, date)\wedge\\
& \varphi\,'_3(\mathit{cd}, \mathit{member},\mathit{country}))
\end{aligned}
\end{align*}
We now want to prove that similarity conditions hold for these
three functions we defined.
\end{document}
You can use split
or aligned
within the align
but note don't use math italic for multi-letter identifiers, and don't end a paragraph with \\