被3除余1的正整数集合.