\documentclass[12pt , a4paper]{report}
\usepackage[all]{xy}
\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz}
%\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz} 
%\usepackage{glossaries}
\usepackage[xindy]{glossaries}
\usepackage{tocbibind}
\usepackage{makeidx}
\makeindex
\usepackage{fancyhdr}
\pagestyle{fancy}
%\fancyhead{} 
%\fancyhead[L]{\slshape \rightmark}
%\fancyhead[R]{\slshape \leftmark}
\usepackage{graphicx}
\fancyfoot{} 
\fancyfoot[C]{\thepage}
\renewcommand{\headrulewidth}{0.6pt}
\usepackage{xepersian}
\settextfont{HM_XBNiloofar}
\defpersianfont\niloo[Scale=1]{HM XNiloofar} 
\setdigitfont[Scale=1.2]{Yas}
\setlatintextfont{Times New Roman}
\linespread{2}
%\def\e{\eta}
%\def\x{\overline{x}}
%\def\n{\frac{1}{n}}
%\def\a{\alpha}
%\def\t{\theta}
%\def\d{\delta}
%\def\la{\lambda}
%\def\m{\mu}
%\def\o{\Omega}
%\def\p{\partial}
%\def\l{\partial_{L}
\newcommand\persiangloss[2]{#1\dotfill\lr{#2}\\}
\newcommand\englishgloss[2]{#2\dotfill\lr{#1}\\}
\def\addsymbol #1:#2#3{$#1$ \> \parbox{5in}{#2 \dotfill \pageref{#3}}\\} 
\def\symboldisplay#1{\label{#1}} 
\theoremstyle{definition}\newtheorem{de}{تعریف}[section]
\theoremstyle{plain}\newtheorem{thh}[de]{قضیه}
\theoremstyle{plain}\newtheorem{pr}[de]{گزاره}
\theoremstyle{plain}\newtheorem{rem}[de]{نکته}
\theoremstyle{plain}\newtheorem{lee}[de]{لم}
\theoremstyle{plain}\newtheorem{cor}[de]{نتیجه}
\theoremstyle{definition}\newtheorem{exa}[de]{مثال}
\theoremstyle{plain}\newtheorem{qu}[de]{سوال}
%renewcommand\proofname{\textbf{برهان}}
\renewcommand{\bibname}{\textbf{مراجع}}
\pagenumbering{arabic}
\makeglossaries
\begin{document}
\chapter{مفاهیم اصلی}
در بخش اول این فصل مجموعه‌ای از اصطلاحات و نمادهایی که در فصول بعدی به کار میآورده شده است.\\
 $(2,n)$-نیم‌گروه منگر$(\Phi , O, \oplus_1 ,..., \oplus_n)$از توابع $ n $-مکانی را اساسا مرتب\index{$(2,n)$-نیم‌گروه منگر اساسا مرتب} گویند اگر روی  $ \Phi $ رابطه $ \zeta_\Phi $ به صورت زیر تعریف شده باشد.\symboldisplay{19}
\begin{equation}
(f,g) \in \zeta_\Phi \Longleftrightarrow f \subset g
\end{equation}

است. همچنین

 $\Delta_A$ (به عبارت دیگر یک قطر از مجموعه $A$) عملگر دوتایی همانی\index{عملگر دوتایی همانی} روی $A$ است یعنی
\begin{center}
$\Delta_A = \{(a,a) \vert a \in A\}$
\end{center}
است. یک رابطه همگن $\rho \subset A \times A$ را:\\
$\bullet$~انعکاسی\index{رابطه دوتایی انعکاسی} می‌نامند اگر $ \Delta_A \subset \rho$ باشد.\\
یک رابطه دوتایی انتقالی و انعکاسی را یک رابطه شبه-ترتیب
\section{توابع و عملگرها}
رابطه دوتایی $ \rho \subset A \times B $ را یک مقداری یا تابع\index{تابع} می‌نامند اگر برای هر $  a \in A $ و هر $ b_1,b_2 \in B $
\begin{equation*}
(a,b_1)\in \rho \wedge (a,b_2)\in \rho \rightarrow b_1 = b_2
\end{equation*}

است. برای تابع $ \rho $ به‌جای $ \rho \subset A \times B $ از عبارت $ \rho: A \rightarrow B $ 

\section{سیستم‌های جبری}
فرض کنید $o_\xi \in \mathcal{T}(A^{n_\xi})$ یک عملگر دلخواه باشد و $\rho_n \in \mathfrak{B}(A^{m_\eta})$ یک رابطه دلخواه تعریف شده روی مجموعه $A$ باشد. آن‌گاه $n_\xi$ و $m_\eta$ را به ترتیب $arity$ از $o_\xi$ و $\rho_\eta$ می‌نامند.\\
سیستم جبری\index{سیستم جبری} یعنی سیستمی به فرم $\mathfrak{U} = (A , o_1 ,..., o_p ,\rho_1,...,\rho_p)$  که در آن $A$ یک مجموعه  و $ o_1 ,..., o_p$ عملگرهای $n_i$-تایی رو
\chapter{$(2,n)$-نیم‌گروه‌ها از توابع}
 در این فصل عملگرهای دوتایی را روی مجموعه $ \mathcal{F}(A^n,A) $ شامل همه توابع $ n $-مکانی جزئی مان\footnote{$Mann $} نامیده می‌شوند) برای اولین بار توسط مان در [39] مطالعه شد. پس از آن توسط نویسندگان زیادی از جمله [1] و [57] و [71] نیز مطالعه شد.
 بررسی توابع چنند. 
\section{$(2,n)$-نیم‌گروه‌ها و نمایش‌هایشان}
در این بخش نمایش‌های $(2,n)$-نیم‌گروه‌ها یعنی مجموعه‌هایی با $n$ عملگر دوتایی شرکت پذیر را توسط است.\\
فرض کنید $ P $ یک نمایش از $(2,n)$-نیم‌گروه منگر $ \wp $ توسط توابع $ n $-مکانی باشد. رابطه $ \zeta_P $\symboldisplay{19} را روی $ G $ به صورت زیر تعریف می‌کنیم.
\begin{equation}
 (g_1,g_2) \in \zeta_P \Longleftrightarrow P(g_1) \subset P(g_2)
\end{equation}


\begin{thebibliography}{99}
\latin 
\begin{latin}
\bibitem{m1}V. D. Belousov, \textit{Systems of orthogonal operations}, Math. USSR, Sb. (1969) 172:32-52.
\end{latin}
\end{thebibliography}
\addcontentsline{toc}{chapter}{واژه‌نامه فارسی به انگلیسی}
\thispagestyle{empty}
\chapter*{واژه‌نامه فارسی به انگلیسی}
\markboth{واژه‌نامه فارسی به انگلیسی}{واژه‌نامه فارسی به انگلیسی}
\noindent
\englishgloss{superassociative}{ابرشرکت‌پذیری}
\addcontentsline{toc}{chapter}{واژه‌نامه  انگلیسی به  فارسی}
\thispagestyle{empty}
\chapter*{واژه‌نامه  انگلیسی به  فارسی}
\markboth{واژه‌نامه  انگلیسی به  فارسی}{واژه‌نامه  انگلیسی به  فارسی}
\noindent
\persiangloss{جبر کلمات}{algebra of words}
\chapter*{فهرست نمادها}
\addcontentsline{toc}{chapter}{فهرست نمادها}
\thispagestyle{empty}
\begin{tabbing}
نماد~~~~~~~~~~~~~~\=\parbox{5in}{توضیح\hfill صفحه}\\
\addsymbol \zeta_{\Phi},\zeta_P: {شمول}{19}
\end{tabbing}
\clearpage
\printindex
%\documentclass[11pt,a4paper]{article}
%\usepackage[latin1]{inputenc}
%\usepackage{amsmath}
%\usepackage{amsfonts}
%\usepackage{amssymb}
%\begin{document}
\end{document}