|
和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせることで、任意の二つの集合に対し、それらの要素のみからなる集合(合併集合)の存在が導ける。 == 定義 == 任意の集合xに対しある集合yが存在して、任意の集合zに対し、zがyに含まれるならば、そのときに限りzを含むようなxの要素wが存在する。 すなわち形式的には、 : と書ける。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「和集合の公理」の詳細全文を読む スポンサード リンク
|