Align inside enumerate

Question

Is it possible to align \items content inside enumerateenvironment?

My expected output is:

Which I got manually, (adjusting with \hspace)

These answers:

Aligning formulas inside enumerate

Equations inside enumerate aligned on item's number

don't respond my question because they try to use align inside the \items

Neither Enumerate inside align

MWE

\documentclass{article}
\usepackage{enumitem}

\begin{document}
\begin{enumerate}
\item $X$ integrable $\Longrightarrow E[X|\mathcal{A}_1]$ integrable y $E[E[X|\mathcal{A}_1]]=E[X]$
\item $\mathcal{A}_1=\{\emptyset,\Omega\} \Longrightarrow E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega$
\item $\mathcal{A}_1=\mathcal{A}\Longrightarrow E[X|\mathcal{A}_1]=X \ c.s.[P_1]$ 
\end{enumerate}
\end{document}

Answer 1

Assuming this is not the only such display in your document, you might use eqparbox facilities.

\documentclass{article}
\usepackage{enumitem}
\usepackage{eqparbox}

\newcounter{mathenum}

\newenvironment{mathenum}
 {\begin{enumerate}\stepcounter{mathenum}}
 {\end{enumerate}}
\newcommand{\mathenumitem}[3]{%
  \item
  \eqmakebox[@@\themathenum @A@][l]{#1}%
  ${}\Longrightarrow{}$%
  \eqmakebox[@@\themathenum @B@][l]{#2}%
  \quad#3%
}

\begin{document}

\begin{mathenum}
\mathenumitem{$X$ integrable}
             {$E[X|\mathcal{A}_1]$ integrable y $E[E[X|\mathcal{A}_1]]=E[X]$}
             {}
\mathenumitem{$\mathcal{A}_1=\{\emptyset,\Omega\}$}
             {$E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega$}
             {}
\mathenumitem{$\mathcal{A}_1=\mathcal{A}$}
             {$E[X|\mathcal{A}_1]=X$}
             {c.s.$[P_1]$}
\end{mathenum}

\end{document}

A slightly different version where the central symbol (which is supposed to be an arrow) can vary:

\documentclass{article}
\usepackage{enumitem}
\usepackage{eqparbox}

\newcounter{mathenum}

\newenvironment{mathenum}
 {\begin{enumerate}\stepcounter{mathenum}}
 {\end{enumerate}}
\newcommand{\mathenumitem}[4]{%
  \item
  \eqmakebox[@@\themathenum @A@][l]{#1}%
  \eqmakebox[@@\themathenum @B@][c]{${}#2{}$}%
  \eqmakebox[@@\themathenum @C@][l]{#3}%
  \quad#4%
}

\begin{document}

\begin{mathenum}
\mathenumitem{$X$ integrable}
             {\Longrightarrow}
             {$E[X|\mathcal{A}_1]$ integrable y $E[E[X|\mathcal{A}_1]]=E[X]$}
             {}
\mathenumitem{$\mathcal{A}_1=\{\emptyset,\Omega\}$}
             {\Longleftrightarrow}
             {$E[X|\mathcal{A}_1](\omega)=E[X],\ \forall \omega\in\Omega$}
             {}
\mathenumitem{$\mathcal{A}_1=\mathcal{A}$}
             {\Longleftarrow}
             {$E[X|\mathcal{A}_1]=X$}
             {c.s.$[P_1]$} 
\end{mathenum}

\end{document}