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