\documentclass{book}

\usepackage{xepersian}
\settextfont{B Zar}
\begin{document}
مثال1.تکواره مرتب 
\begin{equation}
s=(\{0,1\},.,\leq)
\end{equation}
که
\begin{equation}
0\leq1
\end{equation}
رادرنظربگیرید.

لم2.فرض کنید $s$یک گروه مرتب باشد.دراین صورت 
\begin{equation}
Pos_{S}^{\leq}=Pos_{S} \hspace{1cm}, \varepsilon_{\leq}=\varepsilon.
\end{equation}
تعریف3.یک$ S$-سیستم مرتب جزیی راست $A_{S }$را یک $S$-دوجنبه ای  راست گوییم هرگاه 

\begin{enumerate}
\item مجموعه جزیی مرتب $A$یک مشبکه کامل باشد.
\item

\begin{equation}  
(\bigvee\hspace{0.1cm}M)s=\bigvee\{ms\mid m\in M\}\hspace{0.5cm}\forall\hspace{0.2cm} M 
\subseteq\hspace{0.1cm}A\hspace{0.1cm},\forall\hspace{0.1cm}s
\in\hspace{0.2cm}S
\end{equation}
\end{enumerate}
گزاره4.فرض کنید$Q_{S}$یک$ S$-دوجنبه ای باشد.دراین صورت$Q_{S}$ دررسته 
\begin{equation}
Pos_{S}^{\leq}
\end{equation}
یک
\begin{equation}
\varepsilon_{\leq}-
\end{equation}
انژکتیو
است.
\end{document}