\documentclass{article}
\usepackage{amsmath,amsthm}
\usepackage{xepersian}
\settextfont{Yas}
\setdigitfont{Yas}
\newtheorem{theorem}{قضیه}
\begin{document}
\begin{theorem}
این یک قضیه است.
\begin{proof}
این یک اثبات است.
\end{proof}
\end{theorem}
\begin{align*}
[0,b)              &= Y\cap(-\frac{1}{2},b)\\
[0,1]               &= 
\end{align*}
\begin{align*}
[0,b)                 &=Y\cap(-\frac{1}{2},b)\\
(a,1] \cup\{3\}   &=Y\cap (a,4) \\
(a,1]                 &=Y\cap (a,\frac{1}{2}) \\
[0,1]                &= Y\cap(-\frac{1}{2},b)\\
\{3\}                 &=
\end{align*}
\end{document}