\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{equation}
b \in o(a_1^{i-1},x_i,a_{i+1}^n)\label{1}
\end{equation}
 An n-ary semihyperMenger algebra $ (G,o) $ , in which the equation \ref{1}
has the uniqe
\end{document}