函数的定义域为,若且时总有,则称为单函数.例如,函数是单函数.下列命题:
①函数是单函数;
②函数是单函数;
③若为单函数,且,则;
④函数在定义域内某个区间上具有单调性,则一定是单函数.
其中的真命题是____________ (写出所有真命题的编号).