“被5除余1的正整数集”怎么表示?

问题描述:

“被5除余1的正整数集”怎么表示?
可以这么表示吗:{x∈N*一竖((x-1)/5)∈N}

{x│x=5y+1,y∈N}
(N代表自然数集)