
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/multiset1.ocd}} 
  
  This CD defines the set functions and constructors for basic multiset theory. It is intended to be `compatible' with the corresponding elements in MathML i.e. set operations acting on sets of type=multiset. 

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