和集合の公理
和集合の公理(わしゅうごうのこうり、英: axiom of union)とは、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせることで、任意の二つの集合に対し、それらの要素のみからなる集合(和集合)の存在が導ける。
公理の意味としては、任意に与えられた集合族の和が再び集合になるということである。 公理により存在を保証される集合 y は、外延性より一意に定まり、 ⋃ x {\displaystyle \bigcup x} と記される。特に x が二つの元のみからなる集合の場合、すなわち x = {a, b} の場合は、 ⋃ { a , b } {\displaystyle \bigcup \{a,b\}} と書く代わりに、 a ∪ b {\displaystyle a\cup b} と書く。