選出公理(読み)せんしゅつこうり

世界大百科事典(旧版)内の選出公理の言及

【選択公理】より

…選出公理ともいう。空集合φを含まない集合族(集合の集合)に対して,それに属する各集合からそれぞれ一つずつ元を一挙に選び出してそれらの全体がまた集合になるようにできるという集合論の命題である。…

※「選出公理」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

菊の節供,九月節供,重九 (ちょうく) ともいう。五節供の一つ。旧暦9月9日の節供で,奈良時代より,宮中では天皇が紫宸殿に出御し,群臣に宴を賜わり詩歌文章をつくらせる菊花の宴が行われ,年中行事となった...

重陽の用語解説を読む