>>209
貴方は高々可算の加法族のやつを理解したのか?
まずはそっちを片付けたらどう?