函数的定义域为，若且时总有，则称为单函数．例如，函数是单函数．下列命题:
①函数是单函数；
②函数是单函数；
③若为单函数，且，则；
④函数在定义域内某个区间上具有单调性，则一定是单函数．
其中的真命题是          。（写出所有真命题的编号）．