函数的定义域为，若且时总有，则称为单函数．例如，函数是单函数．下列命题：
（1）函数是单函数；
（2）若为单函数，且，则；
（3）若为单函数，则对于任意，则至多有一个，使；
（4）函数在其定义域上具有单调性，则一定是单函数．
其中的真命题是       ．（写出所有真命题的编号）．