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