非空集合G关于运算满足：①对于任意a、bG，都有abG；②存在，使对一切都有，则称G关于运算为和谐集，现有下列命题：
①G="{" 为偶数}，为复数的乘法，则G为和谐集。
②G={二次三项式}，为多项式的加法，则G不是和谐集。
③若为实数的加法，G 且G为和谐集，则G要么为，要么为无限集。
④若为实数的乘法，G 且G为和谐集，则G要么为，要么为无限集。
其中正确的有____________。