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