Let $$X$$ and $$Y$$ be sets. Then there exists a set, denoted $$Y^X$$, which consists of [...], thus
$f \in Y^X \iff f \text{ is a function with domain } X \text{ and range } Y$