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