Set-valued mapping (source code)

= Set-valued mapping
{title2=$S:X\rightrightarrows Y$}

= Set-valued function
{synonym}

= Multifunction
{synonym}

A mapping $S:X\rightrightarrows Y$ assigns a subset $S(u)\subset Y$ to each $u$. Empty and multiple values are allowed. The <graph of a set-valued mapping> records the relation as a subset of $X\times Y$.