\newcommand{\definitionBody}[2]{\hypertarget{glossary:#1}{#2}}
\newcommand{\definitionLink}[2]{\hyperlink{glossary:#1}{#2}\xspace}


\newcommand{\Monotone}{\definitionLink{monotone}{monotone}}
\newcommand{\Image}{\definitionLink{image}{monotone}}
\let\imageNoLink\image{}
\renewcommand{\image}[1]{\imageNoLink{#1}}
\let\lubNoLink\lub{}
\renewcommand{\lub}{\definitionLink{lubglb}{\lubNoLink}}
\let\glbNoLink\glb{}
\renewcommand{\glb}{\definitionLink{lubglb}{\glbNoLink}}
\newcommand{\CompleteLattice}{\definitionLink{completelattice}{complete lattice}}
\let\LLNoLink\LL{}
\renewcommand{\LL}{\definitionLink{completelattice}{\LLNoLink}}

\let\topNoLink\top{}
\renewcommand{\top}{\definitionLink{topbot}{\topNoLink}}
\let\botNoLink\bot{}
\renewcommand{\bot}{\definitionLink{topbot}{\botNoLink}}

\let\fixpointsOfNoLink\fixpointsOf{}
\renewcommand{\fixpointsOf}{\definitionLink{fixpointsOf}{\fixpointsOfNoLink}}

\let\powersetNoLink\powerset{}
\renewcommand{\powerset}{\definitionLink{powerset}{\powersetNoLink}}
\let\powersetONoLink\powersetO{}
\renewcommand{\powersetO}{\definitionLink{powerset}{\powersetONoLink}}

\newcommand{\Poset}{\definitionLink{poset}{poset}}
\let\lteNoLink\lte{}
\renewcommand{\lte}{\definitionLink{poset}{\lteNoLink}}
\let\lteSubNoLink\lteSub{}
\renewcommand{\lteSub}[1]{\definitionLink{poset}{\lteSubNoLink{#1}}}


\newcommand{\Ndao}{\definitionLink{ndao}{ndao}}
\newcommand{\AnNdao}{an \definitionLink{ndao}{ndao}}
\newcommand{\AnNdaoO}{An \definitionLink{ndao}{ndao}}
\newcommand{\Interpretation}{\definitionLink{interpretation}{interpretation}}

\newcommand{\Prefixpoint}{\definitionLink{prefixpoint}{prefixpoint}}

\newcommand{\minLattice}{\bm{min}}
\newcommand{\maxLattice}{\bm{max}}