|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 外 : [そと, ほか, げ, がい] 【名詞】 1. other place 2. the rest ・ 外延 : [がいえん] 【名詞】 1. extension 2. denotation ・ 公 : [こう] 1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate ・ 公理 : [こうり] 【名詞】 1. axiom 2. maxim 3. self-evident truth ・ 理 : [り] 【名詞】 1. reason
外延性の公理(がいえんせいのこうり、axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものである。 == 定義 == ''A'', ''B''を任意の集合とするとき、もし任意の集合''X''について「''X''がAの要素であるならば、そのときに限りXはBの要素である」が成り立つならば、AとBは等しい。すなわち、 : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「外延性の公理」の詳細全文を読む スポンサード リンク
|