\documentclass[a4paper,12pt]{book}
\usepackage{amsmath}\usepackage{mathrsfs}
\usepackage{setspace}\usepackage{amssymb}
\usepackage{ntheorem}%فراخوانی  بسته
\theoremseparator{.}%انتخاب جداکننده
\usepackage{xepersian}
\settextfont[Scale=1]{XB Zar}
\setlatintextfont[Scale=1]{XB Zar}
\setdigitfont[Scale=1]{XB Zar}
\newtheorem{gha}{قضیه}[chapter]
\newtheorem{lem}[gha]{لم}
\newtheorem{goz}[gha]{گزاره}
\newtheorem{nat}[gha]{نتیجه}
\newtheorem{mol}[gha]{ملاحظه}
\newtheorem{tab}[gha]{تبصره}
\newtheorem{mess}{مثال}
\theoremseparator{}% برداشتن جداکننده
\newtheorem*{tar}{تعریف:}% استفاده از حالت ستاره‌دار جهت نزدن شماره
\theoremseparator{.}%برگرداندن به حالت قبل
\newtheorem{hok}{حکم}[chapter]
\newenvironment{esb}{\*\\\noindent{\textbf{ برهان:}}  }{\hfill{\scriptsize$\blacksquare$}\\}
\newenvironment{mes}{\begin{mess}}{\hfill{\scriptsize$\square$}\end{mess}}

%\newenvironment{tar}{\*\\[-.1mm]\noindent{\textbf{ تعریف : }}  }{\\[-.1mm]}


\makeatletter
\@addtoreset{mess}{section}
\makeatother 
\makeatletter
\@addtoreset{gha}{section}
\makeatother 
\makeatletter
\@addtoreset{hok}{section}
\makeatother 

\def\ds#1{\displaystyle{#1}}

\begin{document}
نتیجهٔ کلی‌تری به نام اصل ماکزیمال مورد نیاز است؛ قبل از بیان این اصل به معرفی چند اصطلاح نیاز است.
\begin{tar}
فرض کنید $\mathcal F$ خانواده‌ای از مجموعه‌ها باشد، عضو $M$ از $\mathcal F$ را ماکزیمال (نسبت به شمول مجموعه‌ای) گویند، هرگاه $M$ مشمول هیچ عضوی از $\mathcal F$ جز خودش نباشد.
\end{tar}
\begin{mes}
فرض کنید $\mathcal F$ خانوادهٔ تمام زیرمجموعه‌های مجموعهٔ ناتهی $S$ باشد. (خانوادهٔ $\mathcal F$، مجموعهٔ توانی $S$ نام دارد.) به راحتی می‌توان دید که $S$، یک عضو ماکزیمال $F$ است.
%p58
\end{mes}
\begin{mes}
فرض کنید $S$ و $T$ دو مجموعهٔ ناتهی مجزا و $\mathcal F$ اجتماع مجموعه‌های توانی آنها باشد. در این صورت، $S$ و $T$ هر دو اهضای ماکزیمال $\mathcal F$ است.
\end{mes}
\begin{mes}
فرض کنید $\mathcal F$ خانوادهٔ همهٔ زیرمجموعه‌های متناهی مجموعهٔ نامتناهی $S$ باشد. در این صورت $\mathcal F$ عضو ماکزیمال ندارد، چرا که اگر $M$ عضو دلخواهی از $\mathcal F$ و $s$ عضوی از $S$ باشد که در $M$ واقع نیست، $M \cup \{s\}$ عضوی از $\mathcal F$ خواهد بود که $M$ را بعنوان زیرمجموعه‌ای سره در بر دارد.
\end{mes}
\begin{tar}
گردایهٔ $C$ از مجموعه‌ها را یک زنجیر یا لانه یا برج نامند، هرگاه به ازای هر دو مجموعهٔ $A$ و $B$ و $C$، یا $A \subseteq B$ یا $B \subseteq A$.
\end{tar}
\begin{mes}
برای هر عدد صحیح مثبت $n$ فرض کنید $A_n =\{1,2,\ldots,n\}$. در این صورت گردایهٔ $C=\{A_n: n=1,2,3,\ldots\}$ یک زنجیر است. در واقع $A_m \subseteq A_n$ اگر و تنها اگر $m \leqslant n$.
\end{mes}
\textbf{اصل ماکزیمال\footnote{اصل  ماکزیمال معادل منطقی اصل انتخاب است که در اغلب نحوه‌های ارائهٔ نظریهٔ مجموعه‌ها به روش اصل موضوعی، فرض قرار می‌گیرد. برای مشاهدهٔ یکی از بررسی‌های نظریهٔ مجموعه‌ها که از اصل ماکزیمال استفاده می‌کند، به کتاب زیر مراجعه کنید:
\begin{flushleft}
\lr{John L. Kelly. General Topology. D. Van Nastrand Co.. Inc. 1995.}
\end{flushleft}
}:}
فرض کنید $\mathcal F$ خانواده‌ای از مجموعه‌ها باشد. هرگاه به ازای هر زنجیر $C \subseteq \mathcal F$ عضوی از $\mathcal F$ وجود داشته باشد که همهٔ اعضای $C$ را در بر دارد، در این صورت $\mathcal F$ شامل یک عضو ماکزیمال است.
\end{document}