给出以下四个命题: ①若集合,则; ②若函数的定义域为,则函数的定义域为; ③函数的单调递减区间是; ④已知集合,则映射中满足的映射共有3个; ⑤若,且,. 其中正确的命题有 (写出所有正确命题的序号).