User blog comment:P進大好きbot/Kyodaisuutan System/@comment-35392788-20181001095048/@comment-35470197-20181001110936

Exactly. It is the set of all positive integers.