[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
293(1): 2024/07/02(火)15:40 ID:IjMVBBcM(1) AAS
>>275
定義を聞いてるんだけど、
a<bの定義が
a≧bでないことなら何もやることはないし
a≦bでa≠bなら示すべきことは≦の反対称律だけじゃん
300(1): 2024/07/02(火)16:07 ID:sPBBtPN8(6/25) AAS
>>293
標準的な構成における N においては、
≦ よりも先に狭義の順序 ＜ を定義するのが普通である。
そして、ここでの狭義の順序 ＜ は以下のように定義される。
・ x＜y ⇔_{def} x∈y.
ひとたび ＜ が定義されれば、≦ は以下のように定義される。
・ x≦y ⇔_{def} (x＜y または x＝y).
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.491s*