x就是一个代码,像x.y.z,高中就会接触到,x代表的就是能被3除余1的自然数的全部自然数
{x|x=3z+1,z是大于0的自然数}
x|x是什么 啊
{4.7.10.13....3n+1}
{x|x=3n+1,n∈N}