\documentclass{article}
\usepackage[all]{xy}
\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz}
\usepackage{graphicx}
\usepackage{MnSymbol}
\theoremstyle{definition}\newtheorem{de}{Definition}[section]
\theoremstyle{plain}\newtheorem{thh}[de]{Theorem}
\theoremstyle{plain}\newtheorem{pr}[de]{Proposition}
\theoremstyle{plain}\newtheorem{lee}[de]{Lemma}
\theoremstyle{plain}\newtheorem{cor}[de]{Corollary}
\theoremstyle{definition}\newtheorem{exa}[de]{Example}
\begin{document}
\begin{de}
 A non-empty for every $ x_1,\ldots ,x_n, y_2,\ldots ,y_n \in G $ .
 \end{de}
If for all $ (a_1,\ldots ,a_n) \in G^n $ , the set $ o(a_1,\ldots ,a_n) $  is singleton, then $ o $  is called n-ary operation 
Therefore $ o \vert_\theta $ is superassociative.\\
 Now, we consider the equation
\end{document}