25/06/30 15:27:26.51 hP9iLhqs.net
>>763
もちろん存在する。
N上の通常の大小関係を>と書くと、(N,>)は整列集合だから、空でない任意の部分集合は>についての最小元を持つ。
さて、f:N→N を f(n)=s_n で定義する。
X:={f(n)∈N|n∈N}はNの空でない部分集合だから>についての最小元を持つ。
25/06/30 15:27:26.51 hP9iLhqs.net
>>763
もちろん存在する。
N上の通常の大小関係を>と書くと、(N,>)は整列集合だから、空でない任意の部分集合は>についての最小元を持つ。
さて、f:N→N を f(n)=s_n で定義する。
X:={f(n)∈N|n∈N}はNの空でない部分集合だから>についての最小元を持つ。