函数的定义域为A，若且时总有，则称为单函数．例如，函数是单函数．下列命题：
①函数是单函数；
②若为单函数，且则；
③若f：AB为单函数，则对于任意bB，它至多有一个原象；
④函数在某区间上具有单调性，则一定是该区间上的单函数．
其中的真命题是                   ．（写出所有真命题的编号）