我知道应该使用
$f\colon A\to B$
代替
$f: A\to B$
现在我想知道应该如何编写函数的定义域和余域的声明（即 f：A --> B）以及函数的赋值规则（我的意思是 a |--> f(a)，其中 f(a) 是规则）。我发现了以下可能性：
1.
The function $f\colon A\to B : a\mapsto f(a)$ satisfies ...
2.
The function $f\colon A\to B$, $a\mapsto f(a)$ satisfies ...
3.
The function $f\colon A\to B, a\mapsto f(a)$ satisfies ...
4.
使用词语：
The function $f\colon A\to B$ which is given by $a\mapsto f(a)$ satisfies ...
您知道其他可能性吗？您建议使用哪种可能性？