\newcommand{\definition}[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\topNoLink\top
\renewcommand{\top}{\definitionLink{topbot}{\topNoLink}}
\let\botNoLink\bot
\renewcommand{\bot}{\definitionLink{topbot}{\botNoLink}}

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