和集合の公理

和集合の公理（わしゅうごうのこうり、英: axiom of union）とは、ツェルメロ＝フレンケル集合論などの集合論の公理系を構成する公理の一つであり、「任意の集合について、その集合の任意の元を部分集合とする集合が存在する」と定める。 == 定義 == 任意の集合について、少なくともその集合の任意の元を部分集合とする集合が存在する。

この神経はここで途切れています。