函数 的定义域为A，若 且 时总有 ，则称 为单函数.例如：函数 是单函数.给出下列命题：

①函数 是单函数；

②对数函数 是单函数；

③若 为单函数， 且 ，则 ；

④在定义域上具有单调性的函数一定是单函数，

其中的真命题是.(写出所有真命题的序号)