
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/set1.ocd}} 
  
  This CD defines the set functions and constructors for basic set theory. It is intended to be `compatible' with the corresponding elements in MathML. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{set1:cartesian_product}{application}{} \\ 
\hline
  \symbolrow{set1:emptyset}{constant}{} \\ 
\hline
  \symbolrow{set1:map}{application}{} \\ 
\hline
  \symbolrow{set1:size}{application}{} \\ 
\hline
  \symbolrow{set1:suchthat}{application}{} \\ 
\hline
  \symbolrow{set1:set}{application}{} \\ 
\hline
  \symbolrow{set1:intersect}{application}{} \\ 
\hline
  \symbolrow{set1:union}{application}{} \\ 
\hline
  \symbolrow{set1:setdiff}{application}{} \\ 
\hline
  \symbolrow{set1:subset}{application}{} \\ 
\hline
  \symbolrow{set1:in}{application}{} \\ 
\hline
  \symbolrow{set1:notin}{application}{} \\ 
\hline
  \symbolrow{set1:prsubset}{application}{} \\ 
\hline
  \symbolrow{set1:notsubset}{application}{} \\ 
\hline
  \symbolrow{set1:notprsubset}{application}{} \\ 
\hline
  
\end{tabular}
