\documentclass[oneside]{article}

\usepackage{xepersian}
\newtheorem{definition}{تعریف}[section]


\begin{document}

\begin{definition} \lr{\cite[Definintion  4.3.1]{araDub}}
 فرض کنید $A$  جبری از توابع روی فضای توپولوژیک $X$ باشد. زیرمجموعه $S$ از $X$ را  
\end{definition}

\begin{definition} \cite[\lr{Definintion  4.3.1}]{araDub}
 فرض کنید $A$  جبری از توابع روی فضای توپولوژیک $X$ باشد. زیرمجموعه $S$ از $X$ را  
\end{definition}

\begin{definition} \cite[تعریف 4.3.1]{araDub}
 فرض کنید $A$  جبری از توابع روی فضای توپولوژیک $X$ باشد. زیرمجموعه $S$ از $X$ را  
\end{definition}

\begin{thebibliography}{1}
\begin{LTRbibitems}
\resetlatinfont 

\bibitem{araDub}
\resetlatinfont
J.  Araujo  and  L.  Dubarbie,
\newblock {\itshape Biseparating Maps Between Lipschitz Function
Spaces}
\newblock J. Math. Anal. Appl, \textbf{357}
 (2009), 191-200.
 
 \end{LTRbibitems}
 
\end{thebibliography}
\end{document}