19/06/20 23:16:46.38 aGFF1as7.net
>>619
>１）∃s1∈S．∀s2∈S．s1>=s2
maxSが存在する 例えばS={0}
>２）∀s1∈S．∃s2∈S．s1＜s2
maxSが存在しない 例えばS={2n|n∈N}
19/06/20 23:16:46.38 aGFF1as7.net
>>619
>１）∃s1∈S．∀s2∈S．s1>=s2
maxSが存在する 例えばS={0}
>２）∀s1∈S．∃s2∈S．s1＜s2
maxSが存在しない 例えばS={2n|n∈N}