
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/set3.ocd}} 
  
  This CD defines more set functions. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{set3:big_intersect}{}{} \\ 
\hline
  \symbolrow{set3:big_union}{}{} \\ 
\hline
  \symbolrow{set3:cartesian_power}{}{} \\ 
\hline
  \symbolrow{set3:powerset}{}{} \\ 
\hline
  \symbolrow{set3:k_subsets}{}{} \\ 
\hline
  \symbolrow{set3:map_with_target}{}{} \\ 
\hline
  \symbolrow{set3:map_with_condition}{}{} \\ 
\hline
  \symbolrow{set3:map_with_target_and_condition}{}{} \\ 
\hline
  
\end{tabular}
