设S为复数集C的非空子集.若对任意，都有，则称S为封闭集。下列命题：
①集合为封闭集；
②封闭集一定是无限集；
③若S为封闭集，则一定有；
④若S为封闭集，则满足的任意集合也是封闭集.
其中真命题是                       （写出所有真命题的序号）