من از محیط description استفاده کردهام.
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{xepersian}
\settextfont[Scale=1.1]{Yas}
\DeclareMathOperator{\ord}{ord}
\begin{document}
یک شبه $BCK$-جبر شبه ضربی $A$ کامل گفته میشود اگر در شرایط زیر صدق کند:
\begin{description}
\item[(1)]
$A$
یک شبه $BCK$ -جبر شبه ضربی موضعی خوب باشد،
\end{description}
یک شبه $BCK$ -جبر شبه ضربی $A$ کامل گفته می شود اگر در شرایط زیر صدق کند:
\begin{description}
\item[(2)]
$\ord(x^\thicksim)=\infty$
و
$\ord(x^-)=\infty$
اگر و فقط اگر
$\ord(x)<\infty$،
برای هر
$x\in A$.
\end{description}
\end{document}
یک نکته غیر لاتکی: هنگامیکه میخواهید گزارهای ریاضی را در متن پارسی به کار ببرید سعی کنید به جای نوشتن نمادهایی مثل «اگر و فقط اگر» و «برای هر» آنها را به شکل پارسی بنویسید. همچنین من ord را به صورت یک عملگر ریاضی نوشتهام. چون نباید ایتالیک باشد.