% Junk dos capítulos de relações e funções.
% \def\lastedit{2021-06-18 22:13:40 by jstolfi}

  \jsfig
    {fig.comprel}
    {%
      \begin{tabular}{cc}
        \epsbox{rel-compose-1}{0.5} &
        \epsbox{rel-compose-2}{0.5} \\
        \hbox{$\CR$\hspace{20mm}$\CS$} &
        \hbox{$\CS\circ\CR$}
      \end{tabular}%
    }
    {% 
      Composição das relações do exemplo~\ref{ex.comprel-1}.%
    }

 Veja o
  exemplo~\ref{ex.quadimpl} e o exercício~\ref{ex.quadimp-ok}.
  
  \index{função!quadrado} 
  \begin{exemp}\label{ex.quadimp}
    Seja $f$ a função de $\RN$ para $\RN$ tal que (1) $f(0) = 0$, (2) 
    para todo $m\in\RN$, e todo $y\in\set{0\dd 2^m-1}$, existe um $x\in$
    para qualquer $n\in\RN$,
  \end{exemp}
  
  \being{exerc}\label{ex.quadimp-ok}
    Prove que existe uma e uma só função de $\RN$ para $\RN$ com as 
    propriedades do exemplo~\ref{ex.quadimp}.
  \end{exerc}
