（・ω・）質問

＞集合としての全単射g:N→Xが存在する

個々の要素に対して同じ定義が存在するっていうことですか？
それか（1,2,3,4,5）と（1,2,3）は（1,2,3）で同値だろ！チクショーー！！っていうことですか？