
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/fns1.ocd}} 
  
  This CD is intended to be `compatible' with the corresponding elements in Content MathML. In this CD we give a set of functions concerning functions themselves. Functions can be constructed from expressions via a lambda expression. Also there are basic function functions like compose, etc. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns1:domainofapplication}{application}{} \\ 
\hline
  \symbolrow{fns1:domain}{application}{} \\ 
\hline
  \symbolrow{fns1:range}{application}{} \\ 
\hline
  \symbolrow{fns1:image}{application}{} \\ 
\hline
  \symbolrow{fns1:identity}{application}{} \\ 
\hline
  \symbolrow{fns1:left_inverse}{application}{} \\ 
\hline
  \symbolrow{fns1:right_inverse}{application}{} \\ 
\hline
  \symbolrow{fns1:inverse}{application}{} \\ 
\hline
  \symbolrow{fns1:left_compose}{application}{} \\ 
\hline
  \symbolrow{fns1:lambda}{binder}{} \\ 
\hline
  
\end{tabular}
