1: \begin{definition}[Intermediate Value Theorem]

2: We define a multi-val\-ued operation $\IVT:\In\CC[0,1]\mto[0,1]$ by

3: \[\IVT(f):=\{x\in[0,1]:f(x)=0\}\]

4: and $\dom(\IVT):=\{f\in\CC[0,1]:f(0)\cdot f(1)<0\}$.

5: \end{definition}

6: