>>436
Rを既知としていいなら
Rの零元を0、単位元を1として、
0、及び1の有限個の和全体の集合をNとすればいいんじゃないかな。