Function notation

$f:A\to B$ indicates that the function $f$ takes an input from the set $A$ (domain) and produces an output in the set $B$ (image / codomain).