>>164
加算集合=自然数全体の集合と同等であるような集合

本に書いてあるのをそのまま写してみました。要は無限集合、ということか?