Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Ordinal definable set

順序数定義可能集合
数学の集合論において、集合Sが順序数定義可能（じゅんじょすうていぎかのう、英: ordinal definable）であるとは、非形式的には、 有限個の順序数によって一階述語論理式による定義を用いてされること。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶